Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Seiten
2022
|
1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-06652-8 (ISBN)
Springer International Publishing (Verlag)
978-3-031-06652-8 (ISBN)
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 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions.
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.
Erscheinungsdatum | 05.06.2022 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XIV, 393 p. 131 illus., 73 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 629 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Informatik ► Weitere Themen ► Hardware | |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Applications • architecture verification and validation • Artificial Intelligence • Colored Petri Nets • computer programming • Computer Science • Computer systems • conference proceedings • Embedded Systems • Engineering • graph theory • Informatics • information systems • Model Checking • Petri Nets • Research • software architecture • Software Design • Software engineering • theoretical computer science • timed petri net |
ISBN-10 | 3-031-06652-9 / 3031066529 |
ISBN-13 | 978-3-031-06652-8 / 9783031066528 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
entwickle, drucke und baue deine DIY-Objekte
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
CHF 48,95