Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets

Ordinary Petri nets often do not have sufficient power to represent and handle approximate and uncertain information. Fuzzy Petri nets are defined in this paper using three types of fuzzy variables: local fuzzy variables, fuzzy marking variables, and global fuzzy variables. These three types of variables are used to model uncertainty based on different aspects of fuzzy information. Several basic types of fuzzy Petri nets are analyzed, and the necessary and/or sufficient conditions of boundedness, liveness, and reversibility are given. An example of modeling sensory transitions in a robotic system is discussed to illustrate reasoning about input local fuzzy variables to obtain mutually exclusive tokens in the output places.

[1]  Raymond E. Miller,et al.  A Comparison of Some Theoretical Models of Parallel Computation , 1973, IEEE Transactions on Computers.

[2]  Matthias Jantzen.  Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research , 1979, Advanced Course: Net Theory and Applications.

[3]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[4]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[5]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[6]  A. Giordana,et al.  Modelling Production Systems by means of Predicate-Transitions Networks , 1985, Inf. Sci..

[7]  Kurt Jensen.  Coloured Petri nets , 1986 .

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

[9]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[10]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..

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

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

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

[14]  Antonio Camurri,et al.  An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

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

[16]  Arthur C. Sanderson,et al.  Task sequence planning in a robot workcell using AND/OR nets , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[17]  A. C. Sanderson,et al.  Task Decomposition And Analysis Of Assembly Sequence Plans Using Petri Nets , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.

[18]  Mu-Der Jeng.  Theory and applications of resource control Petri nets for automated manufacturing systems , 1992 .

[19]  S. Moriguchi.  Diagnosis of computer systems by stochastic Petri nets , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[20]  Arthur C. Sanderson,et al.  Sensor-based error recovery for robotic task sequences using fuzzy Petri nets , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[21]  A fuzzy Petri net approach to reasoning about uncertainty in robotic systems , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

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