Jensen, Kurt <br/><br/>
Coloured petri nets :  modelling and validation of concurrent systems 
Kurt Jensen; Lars M. Kristensen 
 - Berlin [u.a.]  Springer  2009 
 - XI, 384 S. graph. Darst. 
<br/><br/><label>ISBN: </label>9783642002830  64,15 EUR