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

Abstract

Petri nets is a very important tool for the analysis of dynamic systeins. It should be known by all experts in Computational Science. Their most important applications in building are in fabrication processes and in the excliange of electronic messages among the different participants in the building process. In this work, a brief description of Petri nets is presented, and their application to message interchange is shown.

Full document