TY  - BOOK
AU  - Girault,Claude
AU  - Valk,Rüdiger
TI  - Petri nets for systems engineering: a guide to modeling, verification, and applications 
SN  - 3540412174 (papel alcalino)
AV  - QA76.9F67 G57
U1  - 004/.01/51 21
PY  - 2003///
CY  - New York
PB  - Springer Verlag
KW  - Métodos formales (Computación)
KW  - Ingeniería de sistemas
KW  - Redes de Petri
ER  -