Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14628)
Included in the following conference series:
Conference proceedings info: PETRI NETS 2024.
Buy print copy
About this book
This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.
The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.
Keywords
Table of contents (21 papers)
-
Front Matter
-
Business Process Modelling and Mining
-
Front Matter
-
-
Semantics and Complexity
-
Front Matter
-
-
Reachability
-
Front Matter
-
-
Verification and Model Checking
-
Front Matter
-
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: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
Editors: Lars Michael Kristensen, Jan Martijn van der Werf
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-61433-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Softcover ISBN: 978-3-031-61432-3Published: 13 June 2024
eBook ISBN: 978-3-031-61433-0Published: 12 June 2024
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 446
Number of Illustrations: 83 b/w illustrations, 74 illustrations in colour
Topics: Mathematics of Computing, Computer Communication Networks, Software Engineering/Programming and Operating Systems