Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science -  - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662733042 - June 23, 2026
In case cover and title do not match, the title is correct

Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science


Get an email once the item is available
Do you have a profile? Log in
Add to your iMusic wish list

Not rated yet

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

More from the same publisher