Editors:
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10258)
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 2017.
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
-
Model Checking
-
Front Matter
-
-
Liveness and Opacity
-
Front Matter
-
-
Stochastic Petri Nets
-
Front Matter
-
About this book
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
Keywords
- automata theory
- distributed systems
- formal methods
- model checking
- process modeling
- concurrency
- decision diagram
- fast simulation
- formal languages
- higher-level net models
- model-driven software engineering
- parallel computing
- parameterized complexity
- petri nets
- process calculi
- protocol verification
- reachability
- structural analysis
- system design
- verification
Editors and Affiliations
-
Department of Mathematics and Computer Science (MF 7.103), Eindhoven University of Technology, Eindhoven, The Netherlands
Wil van der Aalst
-
Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany
Eike Best
Bibliographic Information
Book Title: Application and Theory of Petri Nets and Concurrency
Book Subtitle: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Editors: Wil van der Aalst, Eike Best
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-57861-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-57860-6Published: 05 May 2017
eBook ISBN: 978-3-319-57861-3Published: 04 May 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 351
Number of Illustrations: 136 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Simulation and Modeling, Mathematical Logic and Formal Languages, Artificial Intelligence