Techniques and Applications of Fuzzy Systems Based on the Petri-Net Formalism

Publisher Summary This chapter presents a classification of recent papers describing fuzzy-Petri-nets (FPN) techniques and applications, discussing three major categories. It also reviews how the Petri-net formalism is used for modeling and representing fuzzy systems. The Petri-net (PN) formalism is a graphical and mathematical tool that provides an environment for the analysis, modeling, and design of discrete event systems. The great expressive capability of PNs, their simplicity as a graphical formalism, and, mainly, their possibilities for modeling dynamic evolving systems have made them a very useful tool for representing very different types of systems: production processes control and communication systems, among many other fields. The description of fuzzy systems is structured into three main categories, ordered by decreasing level of abstraction: theoretical models, where formal definitions of fuzzy Petri nets are presented; techniques, including proposals to use fuzzy Petri nets to modeling some types of fuzzy systems; finally, descriptions of some applications using fuzzy Petri nets on real systems.

[1]  J. Jacas,et al.  Fuzzy values in fuzzy logic , 1991 .

[2]  D. S. Yeung,et al.  Fuzzy production rule refinement using multilayer perceptrons , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[3]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Daniel S. Yeung,et al.  Improved fuzzy knowledge representation and rule evaluation using fuzzy petri nets and degree of subsethood , 1994, Int. J. Intell. Syst..

[5]  Witold Pedrycz,et al.  A generalized fuzzy Petri net model , 1994, IEEE Trans. Fuzzy Syst..

[6]  Janette Cardoso,et al.  IV. Fuzzy Petri Nets and Their Application in CIME , 1994 .

[7]  Narendra S. Chaudhari,et al.  Knowledge representation using fuzzy deduction graphs , 1996, IEEE Trans. Syst. Man Cybern. Part B.

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

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

[10]  C. Petri.  Kommunikation mit Automaten , 1962 .

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

[12]  C. G. Looney,et al.  Logical controls via Boolean rule matrix transformations , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  A. Bugarin,et al.  Petri net representation of fuzzy reasoning under incomplete information , 1996, Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).

[14]  Jorge C. A. de Figueiredo,et al.  Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach , 1996, Fuzzy Sets Syst..

[15]  Z. Zenn Bien,et al.  An inference network for bidirectional approximate reasoning based on an equality measure , 1994, IEEE Trans. Fuzzy Syst..

[16]  Syed I. Ahson.  Petri net models of fuzzy neural networks , 1995, IEEE Trans. Syst. Man Cybern..

[17]  H. Watanabe,et al.  A VLSI fuzzy logic controller with reconfigurable, cascadable architecture , 1990 .

[18]  J. Baldwin.  A new approach to approximate reasoning using a fuzzy logic , 1979 .

[19]  Arthur C. Sanderson,et al.  Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets , 1993, Application and Theory of Petri Nets.

[20]  S. Barro,et al.  Compacting rules for fuzzy production system computation , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[21]  Guy B. Gresford.  Systems Approach for Development , 1972, IEEE Trans. Syst. Man Cybern..

[22]  F. Gomide,et al.  Consistency checking based on high level fuzzy Petri nets , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[23]  Ziqiang Chen.  Fuzzy temporal reasoning for process supervision , 1995 .

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

[25]  Alberto José Bugarín Diz,et al.  Representation of fuzzy knowledge bases using Petri nets: operation in the truth space , 1996 .

[26]  Kiyohiko Uehara,et al.  Multistage fuzzy inference formulated as linguistic-truth-value propagation and its learning algorithm based on back-propagating error information , 1993, IEEE Trans. Fuzzy Syst..

[27]  Slobodan Ribaric.  Knowledge Representation Scheme Based on Petri Net Theory , 1988, Int. J. Pattern Recognit. Artif. Intell..

[28]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[29]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[30]  Liwu Li,et al.  High-Level Petri Net Model of Logic Program with Negation , 1994, IEEE Trans. Knowl. Data Eng..

[31]  Robert Valette,et al.  Fuzzy Petri net-based programmable logic controller , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[32]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[33]  Yoichiro Maeda.  Evaluation of Ambiguity in Fuzzy Algorithm Represented with Fuzzy Petri Net , 1998, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[34]  Yoshiki Uchikawa,et al.  Stability analysis of fuzzy control systems using Petri nets , 1996, Proceedings of North American Fuzzy Information Processing.

[35]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[36]  V. Novák.  Fuzzy sets and their applications , 1989 .

[37]  Senén Barro,et al.  Enhanced fuzzy temporal rules and their projection onto fuzzy Petri nets , 1999 .

[38]  Y. Yao,et al.  A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[39]  Robert Valette,et al.  Fuzzy Petri Nets: An Overview , 1996 .

[40]  R. Smith,et al.  Fuzzy Petri nets to control vision system and robot behaviour under uncertain situations within an FMS cell , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[41]  Ramon López de Mántaras,et al.  Approximate Reasoning Models , 1990 .

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

[43]  Roger Smith,et al.  Fuzzy Petri nets with neural networks to model products quality from a CNC-milling machining centre , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[44]  Fernando A. C. Gomide,et al.  Fuzzy Reasoning and Fuzzy Petri Nets in Manufacturing Systems Modeling , 1993, J. Intell. Fuzzy Syst..

[45]  Masaki Togai,et al.  Expert System on a Chip: An Engine for Real-Time Approximate Reasoning , 1986, IEEE Expert.

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

[47]  Yoichiro Maeda,et al.  Behavior-decision fuzzy algorithm for autonomous mobile robots , 1993, Inf. Sci..

[48]  Kohkichi Tsuji,et al.  Fuzzy Petri Nets and their Applications to Fuzzy Reasoning Systems Control , 1995 .

[49]  Dan C. Marinescu,et al.  Logical Inference of Horn Clauses in Petri Net Models , 1993, IEEE Trans. Knowl. Data Eng..

[50]  Manuel Silva,et al.  PROGRAMMABLE LOGIC CONTROLLERS AND PETRI NETS: A COMPARATIVE STUDY , 1982 .

[51]  Stephen S. Woo,et al.  A continuous fuzzy Petri net tool for intelligent process monitoring and control , 1995, IEEE Trans. Control. Syst. Technol..

[52]  V. S. Subrahmanian,et al.  A Petri Net Model for Reasoning in the Presence of Inconsistency , 1991, IEEE Trans. Knowl. Data Eng..

[53]  Senén Barro,et al.  Reasoning with truth values on compacted fuzzy chained rules , 1998, IEEE Trans. Syst. Man Cybern. Part B.

[54]  J. Baldwin.  Fuzzy logic and fuzzy reasoning , 1979, 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[55]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[56]  Takeshi Yamakawa,et al.  A fuzzy inference engine in nonlinear analog mode and its application to a fuzzy logic control , 1993, IEEE Trans. Neural Networks.

[57]  Goal-driven reasoning for fuzzy knowledge-based systems using a Petri net formalism , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[58]  S. I. Ahson,et al.  A Fuzzy Petri Net for Knowledge Representation and Reasoning , 1991, Inf. Process. Lett..

[59]  Jin-Fu Chang,et al.  An inexact reasoning technique based on extended fuzzy productions rules , 1991 .

[60]  D. Qian.  Representation and use of imprecise temporal knowledge in dynamic systems , 1992 .

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

[62]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.