ISBN 9783642425813 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