摘要
本文阐述了Petri网的可达树分析方法,以及Petri可达树的有限性。结合可达树分析法对安全性、有界性和复盖性等性质进行了讨论。
This paper describes the analytical methods and finite characteristic of reachable trees of petri nets. The author discusses the characteristics,such as safeness,boundedness and conservations of reachable trees of petri nets by using these analytical methods.
关键词
可达集
形式语言
分析
PETRI网
petri nets
reachable sets
formal language
analytical methods