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

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). MFPNs combine the basic aspects of Petri net theory and 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 permits us 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 modeling and verification techniques we develop are quite general and can be applied to most practical fuzzy systems.