E=mc2

Miércoles, 29 de marzo de 2006

Modelo de simulación: Metro

Este es uno de los primeros sistemas que he modelizado mediante redes de Petri. Fijaos que cada transacción y proceso está identificado (en catalán, eso sí, espero que se entienda : D). Si observáis con detemiento podréis ver que la transacción 4 (T4) es una condición de una transacción anterior. Como comenté en el anterior post, los flujos no tienen porqué ser secuenciales. A su vez el proceso Parada A vacía (P2') está inicializado con un token. Esto indica que sólo podemos acceder a la parada A si está vacía (de lo contrario chocaríamos con el metro anterior) y más tarde el mismo token será devuelto al finalizar la transacción T4 (cierre de puertas) cuando es liberada de alguna forma la parada.

Con todo esto he de admitir que he mentido. Este modelo ya no se trata de una red de Petri a la usanza, sino de una extensión, pero que no aumenta la potencia de cálculo pues también podría ser representado el mismo modelo con una red de Petri tradicional mucho más extensa. La extensión que he utilizado recibe el nombre de red de Petri coloreada, pero también utilizo funciones de distribuciones para modelar el comportamiento de las transacciones. Esta extensión recibe el nombre de red de Petri estocástica. Después de este pequeño lío, tenéis que quedaros con sólo el concepto de que utilizaremos el modelo en que nos sea más sencillo modelizar el sistema pues todas las extensiones pueden ser reducidas al modelo tradicional, pero de forma que triplicariamos el número de procesos y transacciones perdiendo claridad en el esquema.