Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Transactions on Petri Nets and Other Models of Concurrency XVIII
381 Seiten, Taschenbuch
€ 85,49
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783662733042 |
| Sprache | Englisch |
| Erscheinungsdatum | 23.06.2026 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer Berlin |
| Herausgegeben von | Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023.
The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability Problem in Petri nets; model checking timed and strategic properties; analysis and synthesis of subclasses of Petri nets; design decisions in process discovery; extracting event logs; application of coloured Petri nets for modelling software architecture; and Petri net model checking.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783662733042 |
| Sprache | Englisch |
| Erscheinungsdatum | 23.06.2026 |
| Größe | 23.5 x 15.5 cm |
| Verlag | Springer Berlin |
| Herausgegeben von | Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?