Petri网的可达树分析法及其应用研究

The Rachability Tree Analysis Method of Petri Net and Its Applications

一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性。应用Petri网首先要对系统建模(Modeling),建模的重要作用是能使用Petri网的分析方法对系统进行分析。

This paper disscussed the reachability tree analysis method of a Petri net in detail,and it has been proved that the reachability tree of a Petri net is finite. Finally, by using the reachability tree analysis method, studies about safeness, boundedness, conservation and some properties have been carried out.