TESIS-MAG-0201.pdf

Una red de ese tipo es un grafo que queda defmido a través de un conjunto
de lugares, de transiciones, de flechas y un estado inicial. Una transición representa, en
general, la realización de un transacción de algún tipo. Lugares y transiciones se unen
por flechas que determinan que lugares pertenecen a que transiciones. Cada lugar
almacena un número preestablecido de tokens y se denomina lugares de entrada de
una transición a aquellos nodos que poseen arcos que inciden en el que representa a la
transición. Los lugares de salida, en cambio, son aquellos nodos en los cuales incide un
arco desde la misma transición.
Una transición se habilita, es decir, puede ejecutarse, si en cada lugar de
entrada de la transición existe por lo menos un token. La transición se ejecuta
eliminando un token de cada lugar de entrada y poniendo uno en cada lugar de salida. Si
un lugar de entrada pertenece a más de una transición, entonces la red es no
determinística, puesto que más de una transición puede quedar habilitada a la vez. Para
resolver este problema es posible asociar a cada transición cierta prioridad. La prioridad
determina el orden en el cual dos transacciones son disparadas si es que están
habilitadas al mismo tiempo. Finalmente se defme un estado de la red, asignando
inicialmente tokens a cada lugar.
Ejemplo 4.2 Red de Petri.
Si se representa una transacción con cuadrados y cada lugar con círculos la
figura 4.5 representa una red de Petri donde, por ejemplo, L3 y L4 son lugares de entrada
para la transición T3, mientras que L1 y L3 son lugares de salida para la misma
transición. Notar que si L3, L4 y L5 tienen un token cada uno, quedan habilitadas tanto
T3 como T4 y la elección de cualquiera de ellas para ejecutarse es totalmente aleatoria.
El estado inicial de la red queda determinada con las fichas negras en cada lugar, cada
una de las cuales corresponde a un token I.
79