Skip to main content
SpringerLink
Log in

A study of fuzzy logical petri nets and its application

  • Published:
Journal of Electronics (China)

Abstract

In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning from initial propositions. An application to the partial fault model of a car engine in paper Portinale’s(1993) is used as an illustrative example of FLPN.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. Agarwal, M. Tanniru, A Petri net based approach for verifying the integrity of production systems, Int. J. Man-mechine Studies, 36(1992)2, 447–468.

    Article  Google Scholar 

  2. A. Giordana, L. Saitta, Modeling production rules by means of predicate transition networks, Information Sciences, 35(1985)1, 1–41.

    Article  MATH  Google Scholar 

  3. G. Peterka, T. Murata, Proof procedure and answer extraction in Petri net model of logical programs, IEEE Trans. on Softw. Eng., 15(1989)2, 209–217.

    Article  MATH  Google Scholar 

  4. T. W. S. Chow, J. Y. Li, Higher-order Petri net models based on artificial neural networks, IEEE Trans. on Syst., Man, and Cybern., 92(1997)2, 289–300.

    MATH  Google Scholar 

  5. L. Portinale, Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model, LNCS 691, Berling, Springer-Verlag, 1993, 339–356.

    Google Scholar 

  6. L. Portinale, Verification of causal models using Petri nets, International J. of Intel. Syste., 7(1992)8, 715–742.

    Article  MATH  Google Scholar 

  7. Y. Deng, S. K. Chang, A G-net model for knowledge representation and reasoning, IEEE Trans. on Knowledge and Data Engineering, 2(1990)3, 295–309.

    Article  Google Scholar 

  8. C. G. Looney, Fuzzy Petri nets for rule-based decision marking, IEEE Trans. on Syst., Man, and Cybern., 18(1988)1, 178–183.

    Article  Google Scholar 

  9. S. Chen, J. S. Ke, J. Chang, Knowledge representation using fuzzy Petri nets, IEEE Trans. on Knowledge and Data Engineering, 2(1990)3, 311–319.

    Article  Google Scholar 

  10. A. Chang, L. Hall, The Validation of fuzzy knowledge-based systems, In Fuzzy Logic and the Management of Uncertainty, L. Zadeh and J. Kacprzyk, eds., New York, John Wiley & Sons, 1992, 589–604.

    Google Scholar 

  11. M. M. Gupta, J. Qi, Theory of T-norms and fuzzy inference methods, Fuzzy Sets and Systems, 40(1991)3, 431–450.

    Article  MATH  Google Scholar 

  12. M. Mizumoto, H. Zimmermann, Comparision of fuzzy reasoning methods, Fuzzy Sets and Systems, 8(1982)2, 253–283.

    Article  MATH  Google Scholar 

  13. R. Yager, H. Larsen, On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input, IEEE Trans. on Syst., Man and Cybern., 21(1991)4, 790–801.

    Article  MATH  Google Scholar 

  14. A. Konar, A. K. Mandal, Uncertainty management in expert systems using fuzzy Petri nets, IEEE Trans. on Knowledge and Data Eng., 8(1996)1, 96–105.

    Article  Google Scholar 

  15. M. L. Garg, S. I. Ashon, P. V. Gupta, A fuzzy Petri net for knowledge representation and reasoning, Inf. Process. Lett., 39(1991)2, 165–171.

    Article  MATH  Google Scholar 

  16. A. J. Bugarin, S. Baroo, Fuzzy reasoning supported by Petri nets, IEEE Trans. on Fuzzy Systems, 2(1994)2, 135–150.

    Article  Google Scholar 

  17. M. Zhou, C. N. Manikopoulos, S. S. Nerurkar, Design and implementation of fuzzy logical embedded programmable logical controllers for process control, in Conf. Computer Integrated Manufacturing Process Industries, 1992, 703–717.

  18. T. Murata, Temporal uncertainty and fuzzy-timing high-level Petri nets, Berling, Lecture Notes in Computer Science, vol.1091, 1996, 29–58.

    Google Scholar 

  19. D. Andreu, J. C. Pascal, R. Valette, Fuzzy Petri net-based programmable logical controller, IEEE Trans. on Syst., Man, and Cybern., 27(1997)6, 952–961.

    Article  Google Scholar 

  20. W. Pedrycz, F. Gomide, A generalized fuzzy Petri net model, IEEE Trans. on Fuzzy Systems, 4(1992)2, 295–301.

    Google Scholar 

  21. H. Scarpelli, F. Gomide, Fuzzy reasoning and high level fuzzy Petri nets, in Proc. 1st Eur. Congress Fuzzy Intell. Technol., Aachen, Germany, 1993, 600–605.

  22. H. Scarpelli, F. Gomide, W. Pedycz, A high level fuzzy Petri net approach for discovering potential inconsistencies in fuzzy knowledge bases, Fuzzy Sets Syst., 9(1994)2, 175–193.

    Article  Google Scholar 

  23. H. J. Genrich, Predicate/transition nets, in Petri nets: Central models and their properties, W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Spring-Verlag, 1986, 207–247.

    Google Scholar 

  24. K. Jensen, Colored Petri Nets, in Petri nets: Central models and their properties, W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Springer-Verlag, 1986, 248–299.

    Google Scholar 

  25. H. Scarpelli, F. Gomide, W. Pedycz, A reasoning algorithm for high level fuzzy Petri nets, IEEE Trans. on Fuzzy Systems, 4(1996)3, 282–293.

    Article  Google Scholar 

  26. S. Pal, A. Konar, Cognitive reasoning using fuzzy neural nets, IEEE Trans. on Systems, Man, and Cybernetics, 26(1996)4, 507–518.

    Google Scholar 

  27. K. S. Leung, Y. T. So, Inconsistency in fuzzy rule-based expert systems, Procedings of the International Conference on Fuzzy Logic & Neural Networks, Japan, 1990, 849–852.

  28. J. Lee, K. Liu, W. Chiang, Fuzzy Petri nets for modeling rule-based reasoning, Int. J. on Artificial Intelligence, 7(1998)4, 463–485.

    Article  Google Scholar 

  29. L. Portinale, Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model, LNCS, vol. 691, Berling, Springer-Verlag, 1993, 339–356.

    Google Scholar 

  30. T. Murata, Petri nets: Properties, analysis and applications, Procedings IEEE, 77(1989)4, 541–580.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Comp. Sci. & Eng., Tongji University, 200092, Shanghai

    Jiang Changjun

  2. Dept. of Comp. Sci., Inst. of Shandong Mining & Tech., 271019, Taian

    Jiang Changjun

  3. Inst. of Soft., The Chinese Academy of Sciences, 100080, Beijing

    Jiang Changjun

Authors
  1. Jiang Changjun
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Supported by the National Natural Science Foundation of China, Excellent Ph.D Paper Author Foundation of China, Dawn Plan Foundation of Shanghai and Excellent Young Scientist Foundation of Shandong Province

About this article

Cite this article

Jiang, C. A study of fuzzy logical petri nets and its application. J. of Electron.(China) 18, 70–78 (2001). https://doi.org/10.1007/s11767-001-0010-y

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11767-001-0010-y

Key words

Search

Navigation