Kurt Jensen and Lars Kirstensen <br/><br/>
Coloured Petri Nets: Modelling and Validation of Concurrent Systems 

 -  Springer  2014 
<br/><br/><label>ISBN: </label>9783642425813