|Table of Contents|

[1] Chen Lijuan, Yang Xin, Xia Anbang,. Optimization of fault management system in power plantsbased on DD-RCM and TPN [J]. Journal of Southeast University (English Edition), 2006, 22 (4): 519-522. [doi:10.3969/j.issn.1003-7985.2006.04.016]
Copy

Optimization of fault management system in power plantsbased on DD-RCM and TPN()
基于DD-RCM和时序Petri网的电厂故障管理系统优化
Share:

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:
22
Issue:
2006 4
Page:
519-522
Research Field:
Computer Science and Engineering
Publishing date:
2006-12-30

Info

Title:
Optimization of fault management system in power plantsbased on DD-RCM and TPN
基于DD-RCM和时序Petri网的电厂故障管理系统优化
Author(s):
Chen Lijuan1 Yang Xin2 Xia Anbang1
1 School of Electrical Engineering, Southeast University, Nanjing 210096, China
2 School of Automation, Southeast University, Nanjing 210096, China
陈丽娟1 杨欣2 夏安邦1
1东南大学电气工程学院, 南京 210096; 2 东南大学自动化学院, 南京 210096
Keywords:
result-chain based modeling for digital developing(DD-RCM) temporal Petri net incidence matrix reduction rules
DD-RCM 时序Petri网 关联矩阵 简化规则
PACS:
TP301
DOI:
10.3969/j.issn.1003-7985.2006.04.016
Abstract:
A method of optimizing the fault management system in power plants based on DD-RCM(result-chain based modeling for digital developing)and TPN(temporal Petri net)is proposed.First, the model of the fault management system was set using DD-RCM.Then, it was transformed to the temporal Petri net model by corresponding rules.Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix.Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants.Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型, 并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化, 实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.

References:

[1] Mi X Z, Zhao W H, Huang X W.Application of DD-RCM technology in complicated product digital development implementation [A].In:Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design[C].Houston, 2004.62-66.
[2] Richard Z.Petri net model functional abstractions and reduction techniques:applications to the design of automated manufacturing systems [J].IEEE Transactions on Industrial Electronics, 2005, 52(2):595-609.
[3] Marco M, Andreas O.A Petri-net based approach to performance management of collaborative business processes [A].In:Proceedings of the 16th International Workshop on Database and Expert Systems Applications [C].New York, 2005.987-991.
[4] Kun L J.Process analysis of multi-robot interconnection system using timed Petri nets reduction [J].IEEE Transactions on Systems, Man & Cybernetics, 1997, 1(1):251-256.
[5] Demongodin I, Koussoulas N T.Differential Petri net models for industrial automation and supervisory control [J].IEEE Transactions on Systems, Man & Cybernetics, 2006, 36(4):543-553.
[6] Stephen J, Yang H.Fuzzy rule base systems verification using high-level Petri nets [J].IEEE Transactions on Knowledge and Data Engineering, 2003, 15(2):457-473.
[7] Tsinarakis G J, Tsourveloudis N C, Valavanis K P.Modeling, analysis, synthesis and performance evaluation of multi-operational production systems with hybrid timed Petri nets [J].IEEE Transactions on Automation Science and Engineering, 2006, 3(1):29-46.
[8] Robert H S.Reduction rules for time Petri nets [J].Acta Information, 1996, 33(6):687-706.
[9] Llorens M, Oliver J.Structural and dynamic changes in concurrent system:reconfigurable Petri nets [J].IEEE Transactions on Computers, 2004, 53(9):1147-1158.
[10] Jeng M.Comments on “timed Petri nets in modeling and analysis of cluster tools” [J].IEEE Transactions on Automation Sciences and Engineering, 2005, 2(1):92-93.
[11] Bouyekhf R, Moudni A E.On the analysis of some structural properties of Petri nets [J].IEEE Transactions on Systems, Man & Cybernetics, 2005, 35(6):784-794.

Memo

Memo:
Biographies: Chen Lijuan(1982—), female, graduate;Xia Anbang(corresponding author), male, professor, abxia2004@yahoo.com.cn.
Last Update: 2006-12-20