基于DD-RCM和时序Petri网的电厂故障管理系统优化

• 作者: 夏安邦 杨欣 陈丽娟
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: DD-RCM 时序Petri网 关联矩阵 简化规则
• 年，卷（期）: 2006,（4）
• 页码范围: 519-522
• 页数: 4页
• 分类号: TP3
• 字数: 398字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2006.04.016

摘要

基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏安邦	东南大学电气工程学院	59	838	14.0	26.0
2	杨欣	东南大学自动化学院	28	142	7.0	10.0
3	陈丽娟	东南大学电气工程学院	34	188	8.0	12.0