TY - BOOK AU - Hipolito Martínez, Olimpia Angelica TI - Sistemas validador de modelos descritos con redes de petri generalizadas / Olimpia Angelica Hipolito Martínez AV - QA76.27 H667s 1994 U1 - 001.642.5 H813s KW - 1.SISTEMAS DISTRIBUIDOS \ 2.REDES DE PETRI \ 3.ALGORITMOS Y APLICACIONES N1 - (Lic. en Informatica) - Instituto Tecnológico de Zacatepec - Elsa Rubio Espino ER -