Book 2009

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Authors:

ISBN: 978-3-642-00283-0 (Print) 978-3-642-00284-7 (Online)