|  |
| |
| Artikel-Nr.:
858A-9783031336195 Herst.-Nr.:
9783031336195 EAN/GTIN:
9783031336195 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Luis Gomes; Robert Lorenz | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, 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 |
| | |
| |