Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
by Kurt Jensen, Jonathan Billington, Maciej Koutny
ISBN 13: 9783642048548
Format: Paperback (275 pages) Publisher: Springer Published: 11 Nov 2009
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
by Kurt Jensen, Andreas Podelski
ISBN 13: 9783540212997
Format: Paperback (608 pages) Publisher: Springer Published: 18 Mar 2004
Transactions on Petri Nets and Other Models of Concurrency VII (Lecture Notes in Computer Science)
by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
ISBN 13: 9783642381423
Format: Paperback (440 pages) Publisher: Springer Published: 09 May 2013
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Monographs in Theoretical Computer Science. An EATCS Series)
by Kurt Jensen, Bernd Wilhelmi
ISBN 13: 9783642645563
Format: Paperback (284 pages) Publisher: Springer Berlin Heidelberg Published: 01 Jan 1997
Transactions on Petri Nets and Other Models of Concurrency VI: 6 (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
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