|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3241104 |
003 |
MWH |
005 |
20190701191424.0 |
007 |
cr nn 008mamaa |
008 |
121227s1992 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642753299
|
024 |
7 |
|
|a 10.1007/978-3-642-75329-9
|2 doi
|
035 |
|
|
|a (DE-He213)978-3-642-75329-9
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
100 |
1 |
|
|a Reisig, Wolfgang.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
2 |
|a A Primer in Petri Net Design
|h [electronic resource] /
|c by Wolfgang Reisig.
|
250 |
|
|
|a 1st ed. 1992.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1992.
|
300 |
|
|
|a XII, 120 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Springer Compass International,
|x 1431-7869
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a 1 Principles of System Design with Nets -- 1.1 An Example -- 1.2 Passive and Active Components -- 1.3 The Change to Dynamic Behavior -- 1.4 Relationships Between Net Representations -- 2 Condition-Event Nets -- 2.1 An Example -- 2.2 Rules -- 2.3 Conflicts -- 2.4 Contacts and Their Avoidance Through Complementation -- 2.5 Processes of Condition-Event Nets -- 2.6 Further Examples -- 3 Place-Transition Nets -- 3.1 An Example -- 3.2 Arrow Weights -- 3.3 Rules -- 3.4 Contacts and Their Avoidance Through Complementation -- 3.5 Further Examples -- 4 Individual-Token Nets -- 4.1 An Example of Constant Arrow Labels -- 4.2 Rules for Nets with Individual Tokens and Constant Arrow Labels -- 4.3 Further Possibilities for Constant Arrow Labels -- 4.4 An Example of Variable Arrow Labels -- 4.5 Rules for Nets with Individual Tokens and Variable Arrow Labels -- 4.6 Further Possibilities for Variable Arrow Labels -- 4.7 Individual-Token Nets -- 5 Channel-Agency Nets -- 5.1 An Example -- 5.2 Rules -- 5.3 Further Examples -- 6 Refinement and Embedding -- 6.1 Refinement -- 6.2 Token-Preserving Refinement -- 6.3 Embedding -- 7 Nets as a Design Method -- 7.1 Preliminary Considerations for the Design of Computer-Integrated Systems -- 7.2 An Example -- 7.3 The Switch to Other Net Models -- 7.4 Additions to the Example -- Solutions -- References.
|
520 |
|
|
|a Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Database management.
|
690 |
|
|
|a Electronic resources (E-books)
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Springer Compass International,
|x 1431-7869
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-642-75329-9
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b32411042
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 2
|i 1
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21542697
|z 02-26-20
|
999 |
f |
f |
|i 9e0f524e-3319-5de5-9f09-b29ab423b3f0
|s 4fbb3267-9ae6-5cef-9fb8-d9c197f7abe1
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|