Referenced Items are not available for this document.
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.
Published in:
Fuzzy Systems and Knowledge Discovery, 2009. FSKD '09. Sixth International Conference on
(Volume:2
)
Date of Conference: 14-16 Aug. 2009
- Page(s):
- 224 - 227
- Print ISBN:
- 978-0-7695-3735-1
- INSPEC Accession Number:
- 11046834
- Conference Location :
- Tianjin
- Digital Object Identifier :
- 10.1109/FSKD.2009.576
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
