Petri网共享T型子网合成结构性质分析及其应用

Structural Analysis and Applications of Synthesis of Petri Nets Shared T-type Subnet

为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值。

A scheme is obtained using synthesis of Petri nets shared P-type subnet, in order to solve subsystem-shared problem in system design. The structural properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary conditions of property preservation by shared T-type subnet are obtained, such as structural boundedness, conservativeness, repetitiveness, consistency, P-invariant,T-invariant, fairness and structural liveness. The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation. These results are useful for studying the properties of Petri synthesis nets, establishing models for large complex system. The synthesis method, whitch is practical to use in reality, suits to design and analyzes some kinds of systems.