Wolfgang Reisig

A Primer in Petri Net Design

• Broschiertes Buch

Produktbeschreibung

Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.The models are interrelated in the sense that they havecommon interpretation patterns: together they can beunderstood as a method for specifying any given system orany section of such a system to any given degree ofrefinement. The simple and immediately understandableprinciples of system modelling with nets makes it possibleto provide an illustrated description of this method withoutgoing into the mathematics behind it. The text is based oncourses the author developed for project engineers andproject managers in the area of embedded computer systems.

Produktdetails

• Springer Compass International
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-642-75331-2
• Softcover reprint of the original 1st ed. 1992
• Seitenzahl: 136
• Erscheinungstermin: 13. Dezember 2011
• Englisch
• Abmessung: 235mm x 155mm x 8mm
• Gewicht: 219g
• ISBN-13: 9783642753312
• ISBN-10: 3642753310
• Artikelnr.: 36120948

Autorenporträt

Petri Nets are useful as a requirements engineering method in many areas of data processing, including hardware, communication protocols, parallel programs and distributed data bases. The book provides an elementary and informal introduction for newcomers to this field.

Inhaltsangabe

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.