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.
['Xin Yang', 'Lijuan Chen', 'Mou Chen', 'D.Q. Zhou']
Design and Reduction of UML-PN Models of Power Plant's Fault Management System