论文部分内容阅读
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.
Based on DD-RCM and sequential Petri nets, a method to optimize power plant fault management system is proposed.The DD-RCM method is used to establish the model of power plant fault management system and the DD-RCM model of power plant fault management system is converted into corresponding timings Petri net model, and then determine the relationship among the various activities of choice, conflict, synchronization and concurrency according to the Petri net model.Further use the reorganization algorithm of the correlation matrix to describe the various relationships.And then use the simplified rules combined with the conflict table and synchronization The table simplifies the Petri net model and optimizes the power plant fault management system.Finally, the temporal logic based on sequential Petri nets proves the functionality of the simplified Petri nets.