Está en la página 1de 3

Universidad de Pamplona

Pamplona - Norte de Santander - Colombia


Tels: (7) 5685303 - 5685304 - 5685305 - Fax: 5682750 - www.unipamplona.edu.co

Ejercicios Redes de Petri

Hans Rondón
Fredy Cortés
Karen Gelvez

Universidad de Pamplona.
Facultad de ingenierías y arquitectura.
Programa de ingeniería de sistemas.
Sistemas Y Modelado II.

Villa del Rosario.


2019

Formando líderes para la


construcción de un nuevo
país en paz
Universidad de Pamplona
Pamplona - Norte de Santander - Colombia
Tels: (7) 5685303 - 5685304 - 5685305 - Fax: 5682750 - www.unipamplona.edu.co

Ejemplo:
Construya una red de Petri para especificar el funcionamiento de una máquina
expendedora de bebidas. La misma tiene un depósito de bebidas con una cierta
carga inicial, y un depósito de monedas el cual inicialmente se encuentra vacío.
Cuando se le ingresa una moneda y hay bebidas, la máquina entrega una bebida y
almacena la moneda en el depósito correspondiente.
¿Cómo modelaría la situación de que cuando no hay más bebidas la máquina
retorne la moneda?

Solucion:

Formando líderes para la


construcción de un nuevo
país en paz
Universidad de Pamplona
Pamplona - Norte de Santander - Colombia
Tels: (7) 5685303 - 5685304 - 5685305 - Fax: 5682750 - www.unipamplona.edu.co

Quiz practico:

Existen pequeñas diferencias entre los sistemas de luces de tránsito en diferentes


países. Por ejemplo, el sistema de luces alemán tiene una fase extra en su ciclo.
Las luces no cambian repentinamente de rojo a verde sino que antes de pasar al
verde enciende la luz verde junto con la luz amarilla.
Construya una red de Petri que se comporte como el sistema de luces de tránsito
alemán. Asegúrese que la red no permita transiciones que no son posibles.

Solución:

Formando líderes para la


construcción de un nuevo
país en paz