Editors:
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)
Conference series link(s): PETRI NETS: International Conference on Applications and Theory of Petri Nets and Concurrency
Conference proceedings info: PETRI NETS 2018.
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 (24 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Petri Net Synthesis
-
Front Matter
-
-
Analysis and Model Checking
-
Front Matter
-
-
Semantics and Expressiveness
-
Front Matter
-
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.
Keywords
Editors and Affiliations
-
University of Newcastle, Newcastle upon Tyne, United Kingdom
Victor Khomenko
-
École Centrale de Nantes, Nantes Cedex 3, France
Olivier H. Roux
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