Property-preserving petri net process algebra :  in software engineering / 
Hejiao Huang ... [et al.] 
 - Singapore :  World Scientific,  c2012 
 - xii, 306 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9789814324281 9814324280 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design<br/>Petri nets