La teoría de redes de Petri es una herramienta gráfica y matemática que permite modelar sistemas de eventos discretos. La lógica o función de los relevadores fue adoptada por el lenguaje de programación denominado Diagrama ...