005.12028  / P945 <br/>
       Property preserving petri net process algebra : in software engineering 
 / Hejiao Huang ...[et al.] 
 .- New Jersey: Worlds Scientific,  2012 
 .- xii, 306p . 
<br><u>ISBN:</u> 9789814324281 
<br/><u>Subject Headings:</u> <br/>Petri nets;<br/>System design;
<br/><U>Author Added Entry: </u><br/>Huang, Hejiao;<br/>Jiao, Li;<br/>Cheung, To - Yat;<br/>Mak, Wai Ming;
<br><U>Copy Details:</u><br> Acc. No.: <b>A176070</b>, Full Call No.: 005.12028 P945,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>