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

• Κύριος συγγραφέας: Reisig, Wolfgang (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Θέματα: Computer science.; Software engineering.; Computers.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computing Methodologies.

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...

Πίνακας περιεχομένων:

• 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.