混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。

Overlapping decomposition for Petri net model of gybird system

The analysis of a hybrid system using overlapping decomposition and expansion method of hybrid Petri net is proposed. First, some related definitions (such as boundedness, reachability and activity are presented) and the inclusion principle is expounded. Then, the overlapping decomposition and expansion method of hybrid Petri net is introduced and overlapping decomposition is used in topological structure of a Petri net model for the hybrid system. The topological structure of the Petri net is analyzed and the overlapping subnet of the Petri net is determined. Finally, an example of the hybrid Petri net is given to illustrate the process of overlapping decomposition and expansion. This provides an effective method to analyze a large hybrid system and is helpful to the analysis and control of a complex hybrid system.