Transactions on Petri Nets and Other Models of Concurrency VI: 7400 (Lecture Notes in Computer Science)
by Kurt Jensen,Wil M. P. van der Aalst,Marco Ajmone Marsan,Giuliana Franceschinis,Jetty Kleijn,Lars M. Kristensen
ISBN 13: 9783642351785
Format: Paperback (388 pages) Publisher: Springer Published: 09 Nov 2012
Save for later
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
by Kurt Jensen,Lars M. Kristensen
ISBN 13: 9783642425813
Format: Paperback (396 pages) Publisher: Springer Published: 02 Nov 2014