Application and Theory of Petri Nets and Concurrency
44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Luis Gomes
Themen in »Application and Theory of Petri Nets and Concurrency«
architecture verification and validation colored petri nets embedded systems graph theory model checking software engineering artificial intelligence automata theory formal logic Petri nets software architecture software design concurrency theory process mining formal semantics