论文部分内容阅读
分布式控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,而混合Petri网是用于混合系统建模和分析的一个主要工具.基于混合Petri网描述了分布式控制系统的混合Petri网模型,并且能够进行故障检测.并运用VisObjNet对模型实例进行了仿真分析.