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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 570
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorKim, JongHyunko
dc.contributor.authorSeong, Poong-Hyunko
dc.date.accessioned2013-03-02T12:47:30Z-
dc.date.available2013-03-02T12:47:30Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1999-07-
dc.identifier.citationANNALS OF NUCLEAR ENERGY, v.26, no.11, pp.1003 - 1019-
dc.identifier.issn0306-4549-
dc.identifier.urihttp://hdl.handle.net/10203/73588-
dc.description.abstractThe 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.-
dc.languageEnglish-
dc.publisherPERGAMON-ELSEVIER SCIENCE LTD-
dc.titleKnowledge base verification of NPP expert systems based on hierarchical enhanced colored Petri Net (HECPN)-
dc.typeArticle-
dc.identifier.wosid000079263400004-
dc.identifier.scopusid2-s2.0-0033164958-
dc.type.rimsART-
dc.citation.volume26-
dc.citation.issue11-
dc.citation.beginningpage1003-
dc.citation.endingpage1019-
dc.citation.publicationnameANNALS OF NUCLEAR ENERGY-
dc.contributor.localauthorKim, JongHyun-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0