Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10877)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: PETRI NETS 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
-
Invited Talk
-
Petri Net Synthesis
-
Analysis and Model Checking
-
Semantics and Expressiveness
Other volumes
-
Application and Theory of Petri Nets and Concurrency
Keywords
About this book
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018.
The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.
Editors and Affiliations
Bibliographic Information
Book Title: Application and Theory of Petri Nets and Concurrency
Book Subtitle: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Editors: Victor Khomenko, Olivier H. Roux
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-91268-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-91267-7Published: 08 May 2018
eBook ISBN: 978-3-319-91268-4Published: 29 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 427
Number of Illustrations: 124 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Data Structures, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science
Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications