Jensen, Kurt <br/><br/>
Coloured petri nets :  modelling and validation of concurrent systems / 
Kurt Jensen and Lars M. Kristensen 
 - 1st ed. 
 - New York :  Springer,  2009 
 - vii, 384 p. ;  ill. ;  24 cm. 
 - Monographs in theoretical computer science .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>3540609431 (Berlin : v. 1 : acidfree paper) 
<br/><br/><label>LCCN: </label>96013598  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Petri nets.
<br/><br/><label>LC Class. No.: </label>QA267  / .J46 1996 
<br/><br/><label>Dewey Class. No.: </label>004  / JEC