lunes, 22 de octubre de 2012

Tarea 8 - Redes Petri

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)

1 comentario: