Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency [electronic resource] :
edited by Luis Gomes, Robert Lorenz.
- 1st ed. 2023.
- Cham Springer Nature Switzerland 2023
- XV, 466 p. 188 illus., 89 illus. in color. online resource.
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. .
9783031336201
Computer Communication Networks.
Computer networks .
Computer science
Embedded computer systems.
Embedded Systems.
Mathematics of Computing.
Software engineering.
Software Engineering.
6.22
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. .
9783031336201
Computer Communication Networks.
Computer networks .
Computer science
Embedded computer systems.
Embedded Systems.
Mathematics of Computing.
Software engineering.
Software Engineering.
6.22