Análisis de redes de Petri mediante su árbol de cobertura

Abstract

Las redes de Petri son uiia herramienta muy importante para el análisis de sistemas diiiámicos, que debiera ser conocida por cualquier experto en ciencias de la computación. Dentro del campo de la construcción sus aplicaciones más claras están en la fabricación de materiales y elementos y eii el intercambio de mensajes electróiiicos entre los distintos participantes en el proceso constructivo. En este trabajo se presenta una sucinta clesciipciónde las redes de Petri, y se muestra su aplicación al intercai~ibiod e ineiisajes.

Petri nets is a very important tool for the analysis of dynamic systeins. It should be kilown by al1 experts in Computational Science. Their inost important applications in building are in fabricatioii processes and iil the excliange of eiectronic messages amoilg the different participants in the building process. In this work, a brief description of Petri nets is preseiited, and their application to message interchange is shown.