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