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

摘要：

针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件.本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程.经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,具有一定的指导意义和实用性.

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

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

在线出版日期：2011-08-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：103-106