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 BibTeX

Section 6: Net Tools

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

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

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

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