Kristensen, Lars M. books & textbook
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Jensen, Kurt Kristensen, Lars M.
Springer /2014-11-02 Paperback / 395 Pages
isbn-10: 364242581X / isbn-13: 9783642425813
Transactions on Petri Nets and Other Models of Concurrency VI
Jensen, Kurt van der Aalst, Wil M. P. Ajmone Marsan, Marco Franceschinis, Giuliana Kleijn, Jetty Kristensen, Lars M.
Springer /2012-11-09 Paperback / 385 Pages
isbn-10: 3642351786 / isbn-13: 9783642351785
Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science) (2011-08-02)
Springer / Paperback
