Application and Theory of Petri Nets and Concurrency
Author | : Luis Gomes |
Publisher | : Springer Nature |
Total Pages | : 470 |
Release | : 2023-05-27 |
ISBN-10 | : 9783031336201 |
ISBN-13 | : 3031336208 |
Rating | : 4/5 (208 Downloads) |
Download or read book Application and Theory of Petri Nets and Concurrency written by Luis Gomes and published by Springer Nature. This book was released on 2023-05-27 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.