Advanced Course: Petri Nets 1996: Dagstuhl, Germany

Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Lecture Notes in Computer Science 1492 Springer 1998, ISBN 3-540-65307-4 BibTeX

Volume I

Applications of Elementary Net Systems and Place or Transiton Nets

• Eike Best, Raymond R. Devillers, Maciej Koutny: Petri Nets, Process Algebras and Concurrent Programming Languages. 1-84 BibTeX
• Manuel Silva, Enrique Teruel, Robert Valette, Hervé Pingaud: Petri Nets and Production Systems. 85-124 BibTeX
• Giorgio De Michelis, Clarence A. Ellis: Computer Supported Cooperative Work and Petri Nets. 125-153 BibTeX

Applications of High Level Nets

• Kurt Jensen: An Introduction to the Practical Use of Coloured Petri Nets. 237-292 BibTeX
• Jonathan Billington: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. 293-330 BibTeX
• Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. 331-385 BibTeX

Application of Stochastic and Timed Nets

• Giuliana Franceschinis, Marina Ribaudo: Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. 386-437 BibTeX
• Susanna Donatelli, Giuliana Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. 438-476 BibTeX