Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings /

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 selecte...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Coauteur: SpringerLink (Online service)
Andere auteurs: Kristensen, Lars Michael (Redacteur), van der Werf, Jan Martijn (Redacteur)
Formaat: Elektronisch E-boek
Taal:Engels
Gepubliceerd in: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Editie:1st ed. 2024.
Reeks:Lecture Notes in Computer Science, 14628
Onderwerpen:
Online toegang:https://doi.org/10.1007/978-3-031-61433-0
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Omschrijving
Samenvatting: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. .
Fysieke beschrijving:XIV, 446 p. 157 illus., 74 illus. in color. online resource.
ISBN:9783031614330
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-61433-0