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

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

Full description

Main Author: Reisig, Wolfgang.
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Online Access: http://dx.doi.org/10.1007/978-3-642-33278-4
Tags: Add Tag
No Tags, Be the first to tag this record!
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.