基于位置不变量的Petri网分解方法

A Method to Divide a Petri Nets by Using Place Invariants

Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petri网分析大系统提供了一种有效的方法。

Petri net is a efficient tool of system simulation and analysis, but analysis of the large scale system is very difficult due to the number of transition and place. This paper presents the concept of division, discussed the method of net division. After division, the relationship between net and its subnets in structural properties is discussed. The discussion has important in analyzing large scale system.