martes, 23 de octubre de 2012

[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:

1 comentario:

  1. Pues, no tiene nada paralelo, pero está bien el componente que hiciste. Te pongo 7 pts.

    ResponderEliminar