Redes De Petri Ejercicios Resueltos

Espera1 --> p1_entra --> SC1 SC1 --> p1_sale --> Resto1 Resto1 --> (vuelve a Espera1 por un arco, o se asume reinicio)

Al disparar ( t ):

Representados por círculos , simbolizan estados o condiciones del sistema (ej. "máquina libre", "depósito lleno"). redes de petri ejercicios resueltos

¿Te gustaría que agregue una sección con o matriz de incidencia ? Solo indícalo. Espera1 --> p1_entra --> SC1 SC1 --> p1_sale