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

摘要

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