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
  

Last update Mon May 21 02:19:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page