基于库所指标的Petri网分解方法

A Decomposition Method of Petri Net Based on the Index of Places

一、引言 Petri网是系统模拟和分析的有效工具.对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦.针对这个同题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特殊子网、特殊结构的化简方法[1～5].文[6]和文[7]分别给出了网系统的"和分解"和"并分解"方法,并讨论了通过这两种分解方法得到的子网同原网在结构性质方面的对应关系.

A new decomposition method of Petri net by assigning an index for the place set is given in this paper. By this decomposition method, the structure of the sub net is simple in which the element number of input place set or the output place set of arbitrary transition is less than or equal to one. And, there is a projection relation of the reachable marking set and the language between the old net system and the sub net system. The properties of the large scale systems could be analyzed by decomposing them to the sub net system because the state and behavior of the old system could be got by synchronous composing of the sub systems.