Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9698)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): PETRI NETS: International Conference on Applications and Theory of Petri Nets and Concurrency
Conference proceedings info: PETRI NETS 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
-
Distinguished Carl Adam Petri Lecture
-
Front Matter
-
-
Petri Net Synthesis
-
Front Matter
-
-
Tools
-
Front Matter
-
-
Applications
-
Front Matter
-
-
Conformance Checking
-
Front Matter
-
About this book
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.
The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions.
Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.
Editors and Affiliations
-
Université Pierre and Marie Curie, Paris, France
Fabrice Kordon
-
Department Informatik, Universität Hamburg Department Informatik, Hamburg, Germany
Daniel Moldt
Bibliographic Information
Book Title: Application and Theory of Petri Nets and Concurrency
Book Subtitle: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Editors: Fabrice Kordon, Daniel Moldt
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-39086-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-39085-7Published: 09 June 2016
eBook ISBN: 978-3-319-39086-4Published: 08 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 345
Number of Illustrations: 114 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Computer Graphics, Computer Communication Networks