About these proceedings
This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.
Colored Petri Nets Distributed Computing Petri Net Application Petri Nets Petri-Netz Anwendungen Petri-Netze Stochastic Petri Nets Stochastische Petri-Netze algorithm algorithms gefärbte Petri-Netze model checking petri net semantics verification