Materias 7mo Semestre ITS: Tarea 8

Para esta entrada el objetivo es diseñar o inventar un sistema concurrente sencillo el cuál posteriormente, podamos modelarlo en forma de una Red Petri, apoyándonos con el paquete Snakes de Python.
Si deseas saber qué es una Red Petri haz clic aquí.

El sistema consiste en un abanico controlado por un interruptor. A grandes rasgos, la descripción del mismo es la siguiente:

Inicialmente el ventilador se encuentra en un estado de reposo (v0).

Al accionar el interruptor por primera vez (le llamo transición 0) el abanico comienza a girar con una velocidad (v1).

Una vez en v1 al volver accionar el interruptor (llega a la transición 1) el abanico empieza a girar ahora con una velocidad más alta (v2).

Finalmente, al estar el abanico girando a una v2 volviendo a accionar el interruptor (llega a la transición 2) regresa a su estado inicial de reposo (v0) y comienza el ciclo de nuevo.

El código de la representación del sistema en Python es el siguiente:
(Para esta implementación me base en un ejemplo de la misma API de Snakes al cual hago referencia en las fuentes de consulta)

Y el resultado obtenido de la Red Petri es el siguiente:

(Los x0, x1 ... x5 son simplemente etiquetas para identificar los estados)