TY  - BOOK
AU  - 
AU  - 
AU  - 
AU  - 
AU  - 
TI  - Un método para la especificación de requerimientos utilizando redes de petri
U1  - T Sistemas 
CY  - Envigado
PB  - Los Autores 
KW  - RESTAURANTE ARTIGOOS (Procesos administrativos)
KW  - Sistema trustee
KW  - REDES DE PETRI JERARQUICAS
KW  - DESARROLLO DE SOFTWARE
KW  - INGENIERIA DEL SOFTWARE
ER  -