Abstract
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.
This research was supported in part by the NASA Center for Intelligent Robotic Systems for Space Exploration at Rensselaer Polytechnic Institute.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Y. Al-Jaar and A. Desrochers, “Petri Nets in Automation and Manufacturing,” in Advances in Automation and Robotics, G. N. Saridis ed., vol. 2, JAI Press, pp. 153–218, 1991
A. Camurri and P. Franchi, “An Approach to the Design and Implementation of the Hierarchical Control System of FMS, Combining Structured Knowledge Representation Formalisms and High-level Petri Nets,” in Proc. of IEEE Int. Conf. on Robotics and Automation, pp. 520–525, Cincinnati, OH, 1990
T. Cao and A. C. Sanderson, “Task Sequence Planning in a Robot Workcell Using AND/OR Nets,” in Proc. of IEEE Int. Symposium on Intelligent Control, pp. 239–244, Arlington, VA, Aug. 1991
T. Cao and A. C. Sanderson, “Task Sequence Planning Using Fuzzy Petri Nets,” in Proc. of IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 349–354, Charlottesville, VA, Oct. 1991
T. Cao and A. C. Sanderson, “Sensor-based Error Recovery for Robotic Task Sequences Using Fuzzy Petri Nets,” in Proc. of IEEE Int. Conf. on Robotics and Automation, pp. 1063–1069, Nice, France, May 1992
T. Cao and A. C. Sanderson, “Task Decomposition and Analysis of Assembly Sequence Plans Using Petri Nets,” in Proc. of Third Int. Conf. on Computer Integrated Manufacturing, pp. 138–147, Troy, NY, May 1992
T. Cao and A. C. Sanderson, “AND/OR Representation for Robotic Task Sequence Planning,” IEEE Trans. on Robotics and Automation, in review
T. Cao and A. C. Sanderson, “A Fuzzy Petri Net Approach to Reasoning about Uncertainty in Robotic Systems,” in Proc. of IEEE Int. Conf. on Robotics and Automation, Atlanta, Georgia, May 1993, in press
J. Cardoso, R. Valette, and D. Dubois, “Petri Nets with Uncertainty Markings,” in Advances in Petri Nets 1990, G. Rozenberg ed. (Lecture Notes in Computer Science), Springer-Verlag, pp. 64–78
S. Chen, J. Ke and J. Chang, “Knowledge Representation Using Fuzzy Petri Nets,” IEEE Trans. on Knowledge and Data Engineering, Vol. 2, No. 3, pp. 311–319, Sep. 1990
M. L. Garg, S. I. Ahson, and P. V. Gupta, “A Fuzzy Petri Net for Knowledge Representation and Reasoning,” Information Processing Letters, Vol. 39, pp. 165–171, 1991
H. J. Genrich and K. Lautenbach, “Systems Modeling with High-Level Petri Nets,” Theoretical Computer Sciences, 13, pp. 109–136, 1981
A. Giordana and L. Saitta, “Modeling Production Rules by Means of Predicate Transition Networks,” Information Sciences, 35, pp. 1–41, 1985
M. Jantzen, “Structured Representation of Knowledge by Petri Nets as an aid for Teaching and Research,” in Net Theory and Applications (Lecture Notes in Computer Science 84), Springer-Verlag, pp. 507–516, 1980
M. D. Jeng, Theory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems, Ph.D. Thesis, Rensselaer Polytechnic Institute, Aug. 1992
K. Jensen, “Coloured Petri Nets,” in Advances in Petri Nets 1986, Vol. 254, Springer-Verlag, pp. 288–299, 1988
C. G. Looney, “Fuzzy Petri Nets for Rule-Based Decisionmaking,” IEEE Trans. on Systems, Man, and Cybernetics, Vol. 18, No. 1, pp. 178–183, Jan./Feb. 1988
R. E. Miller, “A Comparison of Some Theoretical Models of Parallel Computations,” IEEE Trans. on Computers, Vol. C-22, No. 8, pp. 710–717, Aug. 1973
S. Moriguchi and G. S. Shedler, “Diagnosis of Computer Systems By Stochastic Petri Nets,” Ieice Trans. on Fundamentals of Electronics Communications and Computer Sciences, Vol. E75A, pp. 1369–1377, Oct. 1992
T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proc. of the IEEE, Vol. 77, No. 4, pp. 541–580, Apr. 1989
J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981
C. V. Ramamoorthy and G. S. Ho, “Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets,” IEEE Trans. on Software Engineering, Vol. SE-6, No. 5, pp. 440–449, 1980
C. Sibertin-Blanc, “High-level Petri Nets with Data Structures,” in 6th European Workshop on Applications and Theory of Petri Nets, Helsinki, Finland, June 1985.
R. Valette, J. Cardoso and D. Dubois, “Monitoring Manufacturing Systems by Means of Petri Nets with Imprecise Markings,” in Proc. of IEEE Int. Symposium on Intelligent Control, pp. 233–237, 1989
R. Valette and M. Courvoisier, “Petri Nets and Artificial Intelligence,” International Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, Aug. 17–19, 1992
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cao, T., Sanderson, A.C. (1993). Variable reasoning and analysis about uncertainty with fuzzy Petri nets. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_44
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive