TY  - GEN
AB  - 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.
AU  - Gomes, Luís,
AU  - Lorenz, Robert,
CN  - QA267
DO  - 10.1007/978-3-031-33620-1
DO  - doi
ID  - 1468326
KW  - Petri nets
KW  - Computer multitasking
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-33620-1
N1  - Includes author index.
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.
SN  - 9783031336201
SN  - 3031336208
T1  - Application and theory of petri nets and concurrency :44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings /
TI  - Application and theory of petri nets and concurrency :44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-33620-1
VL  - 13929
ER  -