1 Mercedes Granda Departamento de Electrónica y Computadores 1 Programación Concurrente: Redes de Petri REDES DE PETRI: DEFINICIÓN, FORMALIZACIÓN Y EJECUCIÓN PROGRAMACIÓN…