Tell your friends about this item:
Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science
Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science
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. a method for synthesising Petri net models from given transition systems; application of coloured Petri nets for modelling software architecture; and Petri net model checking.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 23, 2026 |
| ISBN13 | 9783662733042 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 381 |
| Dimensions | 150 × 220 × 10 mm · 573 g (Weight (estimated)) |
| Editor | Desel, Jorg |
| Editor | Kleijn, Jetty |
| Editor | Kordon, Fabrice |
| Editor | Koutny, Maciej |
| Editor | Mikulski, Lukasz |
| Editor | Petrucci, Laure |