TY  - ELEC
AU  - Pais
TI  - Geração de executores e analisadores de redes de Petri
PY  - 2004///
CY  - Lisboa
PB  - R. M. C. P.
KW  - Engenharia informática
KW  - Teses
KW  - Redes de Petri
KW  - QA76
ER  -