Huang, Hejiao. <br/><br/>
Property-preserving petri net process algebra in software engineering  [electronic resource] / 
Hejiao Huang ... [et al.]. 
 - Singapore :  World Scientific Pub. Co.,  2012. 
 - xii, 306 p. :  ill. 
<br/><br/>Includes bibliographical references. 
<br/><br/><br/>Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
<br/><br/><label>ISBN: </label>9789814324298 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Petri nets.<br/>Software engineering.<br/>Algebra.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA267  / .H83 2012