TY  - BOOK
AU  - Huang,Hejiao
TI  - Property-preserving petri net process algebra: in software engineering 
SN  - 9789814324281
PY  - 2012///
CY  - Singapore
PB  - World Scientific
KW  - System design
KW  - Petri nets
N1  - Includes bibliographical references
ER  -