↓ Skip to main content
What is this page? Embed badge

Understanding Petri Nets

Overview of attention for book
Cover of 'Understanding Petri Nets'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Example
  3. Altmetric Badge
    Chapter 2 The Basic Concepts
  4. Altmetric Badge
    Chapter 3 Common Special Case: Elementary System Nets
  5. Altmetric Badge
    Chapter 4 Sequential and Distributed Runs
  6. Altmetric Badge
    Chapter 5 Scenarios
  7. Altmetric Badge
    Chapter 6 Further Notations for Elementary System Nets
  8. Altmetric Badge
    Chapter 7 The Synthesis Problem
  9. Altmetric Badge
    Chapter 8 Composition of Nets
  10. Altmetric Badge
    Chapter 9 State Properties
  11. Altmetric Badge
    Chapter 10 Traps and Cotraps of Elementary System Nets
  12. Altmetric Badge
    Chapter 11 Place Invariants of Elementary System Nets
  13. Altmetric Badge
    Chapter 12 Combining Traps and Place Invariants of Elementary System Nets
  14. Altmetric Badge
    Chapter 13 Traps and Place Invariants of Generic System Nets
  15. Altmetric Badge
    Chapter 14 Marking and Covering Graphs
  16. Altmetric Badge
    Chapter 15 Reachability in Elementary System Nets
  17. Altmetric Badge
    Chapter 16 Run Properties
  18. Altmetric Badge
    Chapter 17 Free-Choice Nets
  19. Altmetric Badge
    Chapter 18 Marked Graphs
  20. Altmetric Badge
    Chapter 19 Well-Formed System Nets
  21. Altmetric Badge
    Chapter 20 Mutual Exclusion
  22. Altmetric Badge
    Chapter 21 Asynchronous Hardware
  23. Altmetric Badge
    Chapter 22 Network Algorithms
  24. Altmetric Badge
    Chapter 23 Closing Remarks
Attention for Chapter 15: Reachability in Elementary System Nets
Altmetric Badge

Citations

dimensions_citation
301 Dimensions
Summary Dimensions citations
So far, Dimensions has found 301 publications that cite this research output.

301

The most recent citing publications are shown below. View all 301 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.