Produktnummer:
18bedef920bc0c4dcabb4120bdf3b4b936
| Themengebiete: | architecture verification and validation artificial intelligence colored petri nets computer programming computer systems embedded systems engineering graph theory information systems model checking |
|---|---|
| Veröffentlichungsdatum: | 30.05.2022 |
| EAN: | 9783031066528 |
| Sprache: | Englisch |
| Seitenzahl: | 393 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bernardinello, Luca Petrucci, Laure |
| Verlag: | Springer International Publishing |
| Untertitel: | 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings |
Produktinformationen "Application and Theory of Petri Nets and Concurrency"
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.
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