Fuzzy reasoning Petri nets

This paper presents a fuzzy reasoning Petri net (FRPN) model to represent a fuzzy production rule-based system. The issues of how to represent and reason about rules containing negative literals are addressed in the proposed PN model. The execution rules based on the model are defined formally using the operators in max-algebra. Then, a fuzzy reasoning algorithm is proposed to perform fuzzy reasoning automatically. The algorithm is consistent with the matrix equation expression method in the traditional PNs and allows one to exploit the maximum parallel reasoning potential embedded in the model. The legitimacy and feasibility of the proposed approach are proved and validated through a turbine fault diagnosis expert system.

[1]  Xiaoou Li,et al.  Dynamic knowledge inference and learning under adaptive fuzzy Petri net framework , 2000, IEEE Trans. Syst. Man Cybern. Part C.

[2]  Michael D. Zisman.  USE OF PRODUCTION SYSTEMS FOR MODELING ASYNCHRONOUS, CONCURRENT PROCESSES , 1978 .

[3]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[4]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[5]  Janette Cardoso,et al.  Possibilistic Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[6]  Ronald R. Yager,et al.  A reasoning algorithm for high-level fuzzy Petri nets , 1996, IEEE Trans. Fuzzy Syst..

[7]  Eiichiro Tazaki,et al.  A fuzzy Petri net model for approximate reasoning and its application to medical diagnosis , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[8]  Spyros Tzafestas,et al.  Petri Net-Based Approach to Synthesis of Intelligent Control Systems for DEDS , 1997 .

[9]  MengChu Zhou,et al.  Fuzzy reasoning Petri nets for demanufacturing process decision , 2001, Proceedings of the 2001 IEEE International Symposium on Electronics and the Environment. 2001 IEEE ISEE (Cat. No.01CH37190).

[10]  Janette Cardoso,et al.  Monitoring manufacturing systems by means of Petri nets with imprecise markings , 1989, Proceedings. IEEE International Symposium on Intelligent Control 1989.

[11]  Amit Konar,et al.  Uncertainty Management in Expert Systems Using Fuzzy Petri Nets , 1996, IEEE Trans. Knowl. Data Eng..

[12]  Shyi-Ming Chen,et al.  Weighted fuzzy reasoning using weighted fuzzy Petri nets , 2002 .

[13]  C. V. Negoiţă,et al.  Expert systems and fuzzy systems , 1985 .

[14]  Senén Barro,et al.  Fuzzy reasoning supported by Petri nets , 1994, IEEE Trans. Fuzzy Syst..

[15]  Samir M. Koriem.  A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems , 2000, Comput. J..

[16]  Derek L. Nazareth,et al.  Investigating the Applicability of Petri Nets for Rule-Based System Verification , 1993, IEEE Trans. Knowl. Data Eng..

[17]  Arthur C. Sanderson,et al.  Task sequence planning using fuzzy Petri nets , 1995, IEEE Trans. Syst. Man Cybern..

[18]  Jonathan Lee,et al.  A fuzzy Petri nets based mechanism for fuzzy rules reasoning , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[19]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.