Overview
- 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)
Included in the following conference series:
Conference proceedings info: PETRI NETS 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (19 papers)
-
Distinguished Carl Adam Petri Lecture
-
Invited Talks
-
Petri Net Synthesis
-
Tools
-
Applications
Other volumes
-
Application and Theory of Petri Nets and Concurrency
Editors and Affiliations
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