Los ejercicios resueltos de Redes de Petri permiten comprender cómo modelar sistemas concurrentes reales, desde un simple semáforo hasta sistemas productor-consumidor con capacidad limitada y fallos. Practicar con estos ejemplos es el paso fundamental para dominar el análisis de propiedades como la exclusión mutua, la ausencia de deadlock y la seguridad.
Usaremos un lugar Sem (semáforo) con inicialmente 1 ficha, que representa el permiso para entrar. redes de petri ejercicios resueltos
Modelado de un sistema con motores y electroválvulas que se activan según el nivel de llenado o vaciado detectado por sensores. Recursos para Práctica y Estudio Ejercicios en PDF: Los ejercicios resueltos de Redes de Petri permiten
Cada proceso tiene tres lugares:
: Modele un semáforo para vehículos con dos luces: Rojo (R) y Verde (V). El semáforo alterna entre Rojo y Verde. No puede haber ambos colores encendidos al mismo tiempo. Asuma que el tiempo de cada fase es controlado por el entorno. Modelado de un sistema con motores y electroválvulas
: