TY  - BOOK
AU  - Gomes, Luis.
AU  - Lorenz, Robert.
TI  - Application and Theory of Petri Nets and Concurrency
SN  - 9783031336201
U1  - 6.22 
PY  - 2023///
CY  - Cham 
PB  - Springer Nature Switzerland 
KW  - Computer Communication Networks
KW  - Computer networks 
KW  - Computer science
KW  - Embedded computer systems
KW  - Embedded Systems
KW  - Mathematics of Computing
KW  - Software engineering
KW  - Software Engineering
N2  - 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.
UR  - https://doi.org/10.1007/978-3-031-33620-1
ER  -