分布式控制系统的混合Petri网建模和分析

Modeling and Analysis Distributed Controlled System Using Hybrid Petri Net

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

Distributed controlled system, which is characterized by dynamics, concurrence and synchronization, is a hybrid dynamic system involving discrete and continuous behaviors. Petri nets have proven themselves to be an excellent modeling and analysis tool for discrete event or asynchronous systems, but hybrid Petri nets is an important tool for hybrid system modeling and analysis. It describes a hybrid Petri modeling for distributed controlled system based on hybrid Petri nets, which is capable of fault detection. A successful example of distributed controlled system is presented, and the analysis of the model is given using VisObjNet.