About these proceedings
This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
biomodel engineering colored petri nets model checking process mining timed and stochastic nets
Editors and affiliations
Springer-Verlag Berlin Heidelberg 2013
Springer, Berlin, Heidelberg
Series Print ISSN
Series Online ISSN