Petri Nets: Applications and Relationships to Other Models of Concurrency

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 19 Introduction to Part II
3. Altmetric Badge
   Chapter 20 Computer tools for construction, modification and analysis of Petri nets
4. Altmetric Badge
   Chapter 21 Petri net tool overview 1986
5. Altmetric Badge
   Chapter 22 Petri nets in software engineering
6. Altmetric Badge
   Chapter 23 Nets in data bases
7. Altmetric Badge
   Chapter 24 Petri net based models in the specification and verification of protocols
8. Altmetric Badge
   Chapter 25 Human-machine interaction and role/function/action-nets
9. Altmetric Badge
   Chapter 26 Nets in production systems
10. Altmetric Badge
    Chapter 27 Nets in computer organization
11. Altmetric Badge
    Chapter 28 Nets in office automation
12. Altmetric Badge
    Chapter 29 Modelling architectural features with petrinets
13. Altmetric Badge
    Chapter 30 Trace theory
14. Altmetric Badge
    Chapter 31 Petri Nets: Applications and Relationships to Other Models of Concurrency
15. Altmetric Badge
    Chapter 32 CCS — and its relationship to net theory
16. Altmetric Badge
    Chapter 33 COSY: Its relation to nets and to CSP
17. Altmetric Badge
    Chapter 34 TCSP: Theory of communicating sequential processes
18. Altmetric Badge
    Chapter 35 Reduction, data flow and control flow models of computation
19. Altmetric Badge
    Chapter 36 “Forgotten topics” of net theory