Design and reduction of UML-PN models of power plant's fault management system

Authors:
Xin Yang;Lijuan Chen;Mou Chen;Dake Zhou
Affiliations:
College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing, China;School of Electrical Engineering, Southeast University, Nanjing, China;College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing, China;College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing, China
Venue:
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2
Year:
2009

Citing 3
Cited 0

Fuzzy Rule Base Systems Verification Using High-Level Petri Nets

IEEE Transactions on Knowledge and Data Engineering
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets

IEEE Transactions on Computers
Component and agent-based FMS modeling and controller synthesis

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to analysis models of fault management systems in power plants, a method combining software engineering techniques and DEDS (Discrete Event Dynamic System, DEDS) models was put forward in this paper. Fault detection system was proposed as an example to set up models. Firstly, the UML charts and corresponding Petri nets were founded Then, in order to optimize the model, reduction rules were employed In the end, temporal logic of temporal Petri nets was used to illustrate the exterior functionality of reduction net. The results indicate that the reduction net remains the functionality, and is more effective in analysis.