Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /

• Main Author: Reisig, Wolfgang. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Subjects: Computer science.; Software engineering.; Information theory.; Electronic data processing.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computing Methodologies.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-33278-4

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical pri...

Table of Contents:

• Part I Modeling Techniques
• Chap. 1 An Example
• Chap. 2 The Basic Concepts
• Chap. 3 Common Special Case: Elementary System Nets
• Chap. 4 Sequential and Distributed Runs
• Chap. 5 Scenarios
• Chap. 6 Further Notation for Elementary System Nets
• Chap. 7 The Synthesis Problem
• Chap. 8 Composition of Nets
• Part II Analysis Methods
• Chap. 9 State Properties
• Chap. 10 Traps and Co-traps of Elementary System Nets
• Chap. 11 Place Invariants of Elementary System Nets
• Chap. 12 Combining Traps and Place Invariants of Elementary System Nets
• Chap. 13 Traps and Place Invariants of Generic System Nets
• Chap. 14 Marking and Covering Graphs
• Chap. 15 Reachability in Elementary System Nets
• Chap. 16 Run Properties
• Chap. 17 Free-Choice Nets
• Chap. 18 Marked Graphs
• Chap. 19 Well-Formed System Nets
• Part III Case Studies
• Chap. 20 Mutual Exclusion
• Chap. 21 Asynchronous Hardware.