Red Petri

La red petri son los tipos de modelos que se utilizaron en sistemas distribuidos, utilizan tokens que van viajando dentro de los estados, sirve para investigar las combinaciones de tokens permitidas en posiciones en las cuales no son permitidas.

Para esta tarea hice una red petri sencilla en donde modele un sistema de reconocimiento de huellas, como el que se utilizan en las empresas, para abrir o cerrar una puerta.

El aparato siempre esta en la espera de que entre un dedo, al momento de que ponga el dedo empieza a capturar su huella digital, después el sistema empieza a reconocerlo y decide si se abre o no la puerta, por lo que podemos decir que tenemos entonces los siguientes estados.

• Esperando.
• Capturando.
• Reconociendo.
• Abierto
• Cerrado.

Incluyendo 5 transiciones diferentes y el token sería el dedo o la huella.

Utilizando python realizamos un modelo.


Teniendo como resultado el siguiente diagrama.

Esta sería me entrada de validación, para más información sobre las redes petri, pueden ver información en el wiki aquí.