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

• 作者: 冉会中
• 来源期刊: 计算机仿真
• 学科: 工学
• 关键词: 派粹网 冗余控制 仿真软件
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 建模与验模
• 页码范围: 103-106
• 分类号: TP311
• 字数: 3141字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2011.05.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冉会中	成都纺织高等专科学校电子信息与电气工程系	18	38	3.0	5.0