[VERIFICACIÓN Y VALIDACIÓN] Redes de Petri

Para esta semana se nos encargó modelar un sistema concurrente, en este caso una red de petri. Segun Wikipedia: "Una Red de 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."

En mi caso modelaré el funcionamiento básico de un cajero automático. Para ello tengo que definir los estádos de la máquina y las transiciones entre estados.

Para poder definir los estados y transiciones definire en palabras simples como actua la máquina:

• El cajero se encuentra en espera de que se introduzca una tarjeta.
• Una vez introducida se procede a pedir el NIP.
• Si el NIP es incorrecto se le vuelve a pedir, de ser correcto entonces continua.
• La siguiente es la pantalla de transacciones donde se elige el tipo de transacción (efectivo, cheques, etc).
• Se procede a la selección de cantidad para la transacción.
• Se realiza la transaccion en la que se entrega el efectivo, el tiquet, etc.
• Se pregunta al usuario si desea realizar otra transacción, de ser así se regresa a la pantalla de selección de tipo de transacción, de no ser así se regresa al estado de espera.

Código utilizado usando la libreria de python snakes: Una imagen de como queda finalmente:

Referencias:

Wikipedia

Libro