The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area interested in learning about recent results presented within a unified framework planning to apply Petri nets in practical situations interested in the relationship of Petri nets to other models of concurrent systems.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg

InhaltsangabePetri nets, process algebras and concurrent programming languages.- Petri nets and production systems.- Computer Supported Cooperative Work and Petri Nets.- Petri nets and digital hardware design.- An introduction to the practical use of coloured Petri Nets.- Protocol specification using P-graphs, a technique based on coloured Petri Nets.- Distributed algorithms for networks of agents.- Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras.- Modelling and analysis of distributed software using GSPNs.