TY - BOOK AU - Bernardinello,Luca AU - Petrucci,Laure TI - Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783031066535 U1 - 006.22 23 PY - 2022/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Embedded computer systems KW - Computer science-Mathematics KW - Computer networks  KW - Software engineering KW - Embedded Systems KW - Mathematics of Computing KW - Computer Communication Networks KW - Software Engineering N2 - This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining UR - https://doi.org/10.1007/978-3-031-06653-5 ER -