Advanced Course: Petri Nets 1986

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Lecture Notes in Computer Science 255 Springer 1987, ISBN 3-540-17906-2

(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