ANALYSIS OF PETRI NETS USING COVERAGE TREE

SUMMARY 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. 111 this work, a brief description of Petri nets is preseiited, and their application to message interchange is shown.