| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach | Taschenbuch | 978-3-642-06942-0 | 2010 |
| Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach | Gebunden | 978-3-540-32869-8 | 2006 | Agata Pólrola |
| Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings | Taschenbuch | 978-3-642-13674-0 | 2010 | Johan Lilius |
| Challenging Problems and Solutions in Intelligent Systems | Gebunden | 978-3-319-30164-8 | 2016 | Guy de Trė · Przemyslaw Grzegorzewski · Janusz Kacprzyk · Jan W. Owsiński · Slawomir Zadrożny |
| Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings | Taschenbuch | 978-3-540-61550-7 | 2008 | Andrzej Szalas |
| Transactions on Petri Nets and Other Models of Concurrency XII | " | 978-3-662-55861-4 | 2017 | Maciej Koutny · Jetty Kleijn · Mingmin Zhang |
| Transactions on Petri Nets and Other Models of Concurrency XIII | " | 978-3-662-58380-7 | 2018 | Maciej Koutny · Lars Michael Kristensen |