Variable reasoning and analysis about uncertainty with fuzzy Petri nets

  • Tiehua Cao
  • Arthur C. Sanderson
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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.


Fuzzy Variable Input Place Output Place Firing Rule Reasoning Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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, 1991Google Scholar
  2. 2.
    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, 1990Google Scholar
  3. 3.
    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. 1991Google Scholar
  4. 4.
    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. 1991Google Scholar
  5. 5.
    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 1992Google Scholar
  6. 6.
    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 1992Google Scholar
  7. 7.
    T. Cao and A. C. Sanderson, “AND/OR Representation for Robotic Task Sequence Planning,” IEEE Trans. on Robotics and Automation, in reviewGoogle Scholar
  8. 8.
    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 pressGoogle Scholar
  9. 9.
    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–78Google Scholar
  10. 10.
    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. 1990Google Scholar
  11. 11.
    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, 1991Google Scholar
  12. 12.
    H. J. Genrich and K. Lautenbach, “Systems Modeling with High-Level Petri Nets,” Theoretical Computer Sciences, 13, pp. 109–136, 1981Google Scholar
  13. 13.
    A. Giordana and L. Saitta, “Modeling Production Rules by Means of Predicate Transition Networks,” Information Sciences, 35, pp. 1–41, 1985Google Scholar
  14. 14.
    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, 1980Google Scholar
  15. 15.
    M. D. Jeng, Theory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems, Ph.D. Thesis, Rensselaer Polytechnic Institute, Aug. 1992Google Scholar
  16. 16.
    K. Jensen, “Coloured Petri Nets,” in Advances in Petri Nets 1986, Vol. 254, Springer-Verlag, pp. 288–299, 1988Google Scholar
  17. 17.
    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. 1988Google Scholar
  18. 18.
    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. 1973Google Scholar
  19. 19.
    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. 1992Google Scholar
  20. 20.
    T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proc. of the IEEE, Vol. 77, No. 4, pp. 541–580, Apr. 1989Google Scholar
  21. 21.
    J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981Google Scholar
  22. 22.
    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, 1980Google Scholar
  23. 23.
    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.Google Scholar
  24. 24.
    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, 1989Google Scholar
  25. 25.
    R. Valette and M. Courvoisier, “Petri Nets and Artificial Intelligence,” International Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, Aug. 17–19, 1992Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Tiehua Cao
    • 1
  • Arthur C. Sanderson
    • 1
  1. 1.Electrical, Computer, and Systems Engineering DepartmentRensselaer Polytechnic InstituteTroyUSA

Personalised recommendations