Coloured Petri Nets: Modelling and Validation of Concurrent Systems
by Kurt Jensen, Lars M. Kristensen
ISBN 13: 9783642002830
Format: Hardcover (384 pages) Publisher: Springer Published: 02 Jul 2009
Save for later
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems (Lecture Notes in ... Petri Nets and Other Models of Concurrency)
by
ISBN 13: 9783642008986
Format: Paperback (297 pages) Publisher: Springer Published: 27 Mar 2009
Transactions on Petri Nets and Other Models of Concurrency I: Pt. 1 (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
ISBN 13: 9783540892861
Format: Paperback (251 pages) Publisher: Springer Published: 18 Dec 2008
Transactions on Petri Nets and Other Models of Concurrency V (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
ISBN 13: 9783642290718
Format: Paperback (293 pages) Publisher: Springer Published: 27 Mar 2012