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
AV  - QA76.9S88 H83
PY  - 2012///
CY  - Singapore
PB  - World Scientific
KW  - Diseño de sistemas
KW  - Redes de Petri
ER  -