Red Petri

La tarea consiste en :

• Investigar un poco sobre Redes Petri
• Inventar un pequeño sistema concurrente
• Modelar la Red Petri en Python, utilizando python-snakes

Para esto usaremos  python y el paquete snakes-python lo puedes descargar en el siguiente enlace:

http://code.google.com/p/python-snakes/

Tutorial:

Enlace

Definicion Red Petri:

Es una representación matemática o gráfica de un sistema a eventos discretos en el cual se puede describir la topología de un sistema distribuido, paralelo o concurrente. Son una generalización de la teoría de autómatas que permite expresar un sistema a eventos concurrentes. 

Una red de Petri es un grafo orientado con dos tipos de nodos: lugares (representados mediante circunferencias) y transiciones (representadas por segmentos rectos verticales).

Para esta tarea hice una red petri sencilla en donde se modela :
sistema de entrada y salida de vehiculos con una tarjeta RFID

http://wabingenieria.com/usos-rfid/

Codigo python
Resultado:

Referencias:
http://code.google.com/p/python-snakes/source/browse/doc/tutorial.txt?spec=svn.abcd.b7e58afd5c1b845899816065fff49d782e02a56b&repo=abcd&r=b7e58afd5c1b845899816065fff49d782e02a56b
http://www.uhu.es/diego.lopez/AI/auto_trans-tema3.PDF
http://www.ibisc.univ-evry.fr/~fpommereau/snakes-api/snakes.plugins.gv-module.html