A Primer in Petri Net Design
Published on 30. January 1992
Book
Hardback
XII, 120 pages
978-3-540-52044-3 (ISBN)
Description
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.
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.
More details
Series
Language
English
Place of publication
Heidelberg
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Illustrations
biography
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
315 gr
ISBN-13
978-3-540-52044-3 (9783540520443)
DOI
10.1007/978-3-642-75329-9
Schweitzer Classification
Other editions
Additional editions
Content
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.