Transactions on Petri Nets and Other Models of Concurrency XVIII. Transactions on Petri Nets and Other Models of Concurrency
Fabrice Kordon (editor-in-chief), Laure Petrucci (editor-in-chief), Jörg Desel (editor-in-chief), Jetty Kleijn (editor-in-chief), Maciej Koutny (editor-in-chief), Lukasz Mikulski (editor-in-chief)
Paperback Published on: 23/06/2026
Price: £64.99
wordery
wordery
Synopsis
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.
Publisher information
- Publisher: Springer Berlin Heidelberg
- ISBN: 9783662733042
- Number of pages: 381
- Dimensions: 235 x 155 mm
- Languages: English