For the most recent entries see the Petri Nets Newsletter.

A fuzzy Petri net tool for modeling and verification of knowledge-based systems.

Koriem, S.M.

In: Computer Journal, Vol. 43, No. 3, pages 206-223. 2000.

Abstract: A new method for automated modeling and verification of the knowledge-based systems (KBSs)is presented. It is based on a formal technique called modified fuzzy Petri nets (MFPNs), which combines the basic aspects of Petri net theory with the basic features of fuzzy set theory. The MFPN modeling technique proposed in this paper is concerned with the fuzzy decision making problems of the fuzzy rule tree structures. The proposed method is illustrated by its application to the airport control system as a practical KBS. Modeling methodology for conversion of the KBS into a MFPN model allows to develop an effective MFPN verification technique. This technique has the capability of detecting and recovering the possible errors that can occur within the fuzzy rules of KBSs. The developed modeling and verification techniques are quite general and can be applied to most practical fuzzy systems.

Keywords: fuzzy Petri nets, knowledge-based systems, software tools.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography