A Primer in Petri Net Design
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 regul...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992, 1992
|
| Edition: | 1st ed. 1992 |
| Series: | Springer Compass International
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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