Advanced Course: Petri Nets 1986

(Part I)

Section 6: Net Tools

• 
  Kurt Jensen:
  Computer Tools for Construction, Modification and Analysis of Petri Nets. 4-19
• 
  Frits Feldbrugge, Kurt Jensen:
  Petri Net Tool Overview 1986. 20-61

Section 7: Application of Nets

• 
  Wolfgang Reisig:
  Petri Nets in Software Engineering. 63-96
• 
  Klaus Voss:
  Nets in Data Bases. 97-134
• 
  Michel Diaz:
  Petri Nets Based Models in the Specification and Verification of Protocols. 135-170
• 
  Horst Oberquelle:
  Human-Machine Interaction and Role/Function/Action-Nets. 171-190
• 
  Robert Valette:
  Nets in Production Systems. 191-217
• 
  Rüdiger Valk:
  Nets in Computer Organisation. 218-233
• 
  Klaus Voss:
  Nets in Office Automation. 234-257
• 
  Jean-Loup Baer:
  Modelling Architectural Features with Petri Nets. 258-277

Section 8: Relationship to other Models of Concurrency

• 
  Antoni W. Mazurkiewicz:
  Trace Theory. 279-324
• 
  Glynn Winskel:
  Event Structures. 325-392
• 
  Mogens Nielsen:
  CCS - and its Relationship to Net Theory. 393-415
• 
  Eike Best:
  COSY: Its Relation to Nets and CSP. 416-440
• 
  Ernst-Rüdiger Olderog:
  TCSP: Theory of Communicating Sequential Processes. 441-465
• 
  Werner E. Kluge:
  Reduction, Data Flow and Control Flow Models of Computation. 466-498

Epilogue

• 
  C. A. Petri:
  "Forgotten Topics" of Net Theory. 500-514

Acknowledgement: The information on this page was contributed by Hendrik Jan Hoogeboom