Knowledge base verification of NPP expert systems based on hierarchical enhanced colored Petri Net (HECPN)

The conventional Petri net approach to verify knowledge bases was found not to be adequate to verify the knowledge bases of large and complex systems such as alarm processing systems of nuclear plants. Jensen has proposed Colored Petri Net that gives colors to the token of Petri Net to model large systems with small nets. However, Colored Petri Net also still has some limitations in modeling the knowledge base. We propose an improved method in this work that models the knowledge base, named as Hierarchical Enhanced Colored Petri Net (HECPN). HECPN is a high-level Petri Net that has some additional features on Colored Petri Net and with which the modularised knowledge base can be modeled hierarchically. In this work, we analyze the reachability in the knowledge base modeled with HECPN and propose the methods to detect anomalies. Using these methods, both anomalies in the submodules and inter-module anomalies can be detected. Finally, we apply the proposed methods to the knowledge base verification for a nuclear power plant expert system to demonstrate their utility in this work. (C) 1999 Elsevier Science Ltd. All rights reserved.
Publisher
PERGAMON-ELSEVIER SCIENCE LTD
Issue Date
1999-07
Language
ENG
Citation

ANNALS OF NUCLEAR ENERGY, v.26, no.11, pp.1003 - 1019

ISSN
0306-4549
URI
http://hdl.handle.net/10203/73588
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
  • Hit : 229
  • Download : 0
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0