Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions....

Full description

Bibliographic Details
Other Authors: Gomes, Luis (Editor), Lorenz, Robert (Editor)
Format: eBook
Language:English
Published: Cham Springer Nature Switzerland 2023, 2023
Edition:1st ed. 2023
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary:This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.
Physical Description:XV, 466 p. 188 illus., 89 illus. in color online resource
ISBN:9783031336201