Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11522)
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 2019.
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
-
Concurrent Processes
-
Front Matter
-
About this book
This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.
The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.
Keywords
- artificial intelligence
- automata theory
- computer architecture
- computer programming
- databases
- formal logic
- formal methods
- graph theory
- High-level Petri nets
- model checking
- petri nets
- programming languages
- query languages
- semantics
- software engineering
- software evaluation
- verification
- algorithm analysis and problem complexity
- data structures
Editors and Affiliations
-
Università di Torino, Turin, Italy
Susanna Donatelli
-
Inria and LSV, CNRS & ENS Paris-Saclay, Cachan Cedex, France
Stefan Haar
Bibliographic Information
Book Title: Application and Theory of Petri Nets and Concurrency
Book Subtitle: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Editors: Susanna Donatelli, Stefan Haar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-21571-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-21570-5Published: 31 May 2019
eBook ISBN: 978-3-030-21571-2Published: 11 June 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 471
Number of Illustrations: 922 b/w illustrations, 73 illustrations in colour
Topics: Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Data Structures, Software Engineering, Artificial Intelligence