TY  - BOOK
AU  - Huang, Hejiao
AU  - Jiao, Li
AU  - Cheung, To - Yat
AU  - Mak, Wai Ming
TI  - Property preserving petri net process algebra: in software engineering
SN  - 9789814324281
U1  - 005.12028 
PY  - 2012///
CY  - New Jersey
PB  - Worlds Scientific
KW  - Petri nets
KW  - System design
ER  -