TY  - BOOK
AU  - Huang,Hejiao
TI  - Property-preserving petri net process algebra: in software engineering 
SN  - 9789814324281
AV  - QA76.9.S88 P769 2012
U1  - 005.30 23
PY  - 2012///
CY  - Singapore, Hackensack, N.J.
PB  - World Scientific
KW  - System design
KW  - Petri nets
KW  - fast
N1  - Includes bibliographical references (p. 295-306)
ER  -