基于Petri网的冗余控制系统建模与仿真  

Modeling & Simulation of Redundant Control System Based Petri-nets

作　　者：冉会中[1] 

机构地区：[1]成都纺织高等专科学校电子信息与电气工程系,四川成都611731

出　　处：《计算机仿真》2011年第5期103-106,共4页Computer Simulation

摘　　要：针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件。本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程。经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,具有一定的指导意义和实用性。For the handling of redundancy in terms of defects of redundant control system,the redundant software is modelled and analyzed in order to improve its reliability.Firstly,it is devidded the according to the level of the redundant control system and pointed out the state transition approach of two redundant industrial control machine at control layer in this paper.And then the Petri-nets is applied to model the redundant software in accordance with the level,the hierarchical model and overall model of redundant software are designed.Finally,the model is simulated using the ExSpect simulation software and analyzed for the correctness.The simulation and analysis shows that the model is correct,feasible,and has some significance and relevance for the redundant software design.

关 键 词：派粹网 冗余控制 仿真软件 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]