TY  - GEN
AU  - Girault, Claude
AU  - Valk, Rudiger
TI  - Petri nets for systems engineering: a guide modeling verification and applications
SN  - 3540412174
U1  - 620.0011 
PY  - 2003///
CY  - New York
PB  - Springer
KW  - Engineering and allied operations
ER  -