Produktnummer:
18be692ecfd1d84f35a1894b9822175930
| Themengebiete: | Petri nets architecture verification and validation artificial intelligence automata theory colored petri nets embedded systems formal logic graph theory model checking software engineering |
|---|---|
| Veröffentlichungsdatum: | 28.05.2023 |
| EAN: | 9783031336195 |
| Sprache: | Englisch |
| Seitenzahl: | 466 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Gomes, Luis Lorenz, Robert |
| Verlag: | Springer International Publishing |
| Untertitel: | 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings |
Produktinformationen "Application and Theory of Petri Nets and Concurrency"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen