Skip to main content
SpringerLink
Log in

Dynamic properties of fuzzy Petri net model and related analysis

  • Published:
Journal of Central South University Aims and scope Submit manuscript

Abstract

Fuzzy Petri net (FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty. Although the applications of FPN are known to be successful, the theoretical research of FPN is still at an initial stage. To pave a way for further study, this work explores related dynamic properties of FPN including reachability, boundedness, safeness, liveness and fairness. The whole methodology is divided into two phases. In the first phase, a comparison between elementary net system (EN_system) and FPN is established to prove that the FPN is an extensive formalism of Petri nets using a backwards-compatible extension method. Next, current research results of dynamic properties are utilized to analyze FPN model. The results illustrate that FPN model is bounded, safe, weak live and fair, and can support theoretical evidences for designing related decomposition algorithm.

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. KOPONEN I T. Models and modelling in physics education: A critical re-analysis of philosophical underpinnings and suggestions for revisions [J]. Science & Education, 2007, 16(7/8): 751-773.

    Article  Google Scholar 

  2. CHAPLAIN M A. Multiscale mathematical modelling in biology and medicine [J]. IMA Journal of Applied Mathematics, 2011, 76(3): 371-388.

    Article  MathSciNet  MATH  Google Scholar 

  3. TEO T. Modelling technology acceptance in education: A study of pre-service teachers [J]. Computers & Education, 2009, 52(2): 302-312.

    Article  Google Scholar 

  4. WASIM A, SHEHAB E, ABDALLA H, AL- ASHAAB A, SULOWSKI R, ALAM R. An innovative cost modelling system to support lean product and process development [J]. The International Journal of Advanced Manufacturing Technology, 2013, 65(1/2/3/4): 165-181.

    Article  Google Scholar 

  5. ZHOU Bing-hai, PAN Qing-zhi, WANG Shi-jin, WU Bin. Modeling of photolithography process in semiconductor wafer fabrication systems using extended hybrid Petri nets [J]. Journal of Central South University, 2007, 14(3): 393-398.

    Article  Google Scholar 

  6. DELZANNO G, ROSA- VELARDO F. On the coverability and reachability languages of monotonic extensions of Petri nets [J]. Theoretical Computer Science, 2013, 46(7): 12-29.

    Article  MathSciNet  MATH  Google Scholar 

  7. POUYAN A A, SHANDIZ H T, ARASTEHFAR S. Synthesis of a Petri net based control model for a FMS cell [J]. Computers in Industry, 2011, 62(5): 501-508.

    Article  Google Scholar 

  8. LV Y, LEE C K M, CHAN H K, IP W H. RFID-based colored Petri net applied for quality monitoring in manufacturing system [J]. The International Journal of Advanced Manufacturing Technology, 2012, 60(1/2/3/4): 225-236.

    Article  Google Scholar 

  9. MEYER A, DELLNITZ M, von MOLO H. Symmetries in timed continuous Petri nets [J]. Nonlinear Analysis: Hybrid Systems, 2011, 5(2): 125-135.

    MathSciNet  MATH  Google Scholar 

  10. ALIMONTI P, FEUERSTEIN E, LAURA L, NANNI U. Linear time analysis of properties of conflict-free and general Petri nets [J]. Theoretical Computer Science, 2011, 412(4): 320-338.

    Article  MathSciNet  MATH  Google Scholar 

  11. CHANDRASEKARAN S, SOMNATH N, SREENIVAS R S. A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing and service-systems [J]. Journal of Intelligent Manufacturing, 2015, 26(5): 945-958.

    Article  Google Scholar 

  12. HU He-suan, ZHOU Meng-chu, LI Zhi-wu. Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42(2): 392-403.

    Article  Google Scholar 

  13. TAN Wei, FAN, Yu-shun, ZHOU Meng-chu, TIAN Zhong. Data-driven service composition in enterprise SOA solutions: A Petri net approach [J]. IEEE Transactions on Automation Science and Engineering, 2010, 7(3): 686-694.

    Article  Google Scholar 

  14. SEO Y, KIM T, KIM B, SHEEN D. Representation and performance analysis of manufacturing cell based on generalized stochastic Petri net [J]. International Journal of Industrial Engineering: Theory, Applications and Practice, 2010, 13(1): 99-107.

    Google Scholar 

  15. NISHI T, TANAKA Y. Petri net decomposition approach for dispatching and conflict-free routing of bidirectional automated guided vehicle systems [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012: 42(5): 1230-1243.

    Article  Google Scholar 

  16. WANG L, MAHULEA C, J¨² LVEZ J, SILVA M. Minimum-time decentralized control of choice-free continuous Petri nets [J]. Nonlinear Analysis: Hybrid Systems, 2013, 7(1): 39-53.

    MathSciNet  MATH  Google Scholar 

  17. WU Z, HSIEH S J. A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system [J]. The International Journal of Advanced Manufacturing Technology, 2012, 61(1/2/3/4): 405-421.

    Article  Google Scholar 

  18. HU He-suan, LI Zhi-wu, AL- AHMARI A. Reversed fuzzy Petri nets and their application for fault diagnosis [J]. Computers & Industrial Engineering, 2011, 60(4): 505-510.

    Article  Google Scholar 

  19. CHENG Yung-hsiang, YANG Li-an. A fuzzy Petri nets approach for railway traffic control in case of abnormality: Evidence from Taiwan railway system [J]. Expert Systems with Applications, 2009, 36(4): 8040-8048.

    Article  Google Scholar 

  20. WAI Rong-jong, LIU Chia-ming. Design of dynamic petri recurrent fuzzy neural network and its application to path-tracking control of nonholonomic mobile robot [J]. IEEE Transactions on Industrial Electronics, 2009, 56(7): 2667-2683.

    Article  Google Scholar 

  21. YU Z, FU X, CAI Y, VURAN M C. A reliable energy-efficient multi-level routing algorithm for wireless sensor networks using fuzzy Petri nets [J]. Sensors, 2011, 11(3): 3381-3400.

    Article  Google Scholar 

  22. HU Zhi-gang, MA Hao, WANG Guo-jun, LIAO Lin. A reliable routing algorithm based on fuzzy Petri net in mobile ad hoc networks [J]. Journal of Central South University, 2005, 12(6): 714-719.

    Article  Google Scholar 

  23. HUANG Min, LIN Xiao, HOU Zhi-wen. Modeling method of fuzzy fault Petri nets and its application [J]. Journal of Central South University (Science and Technology), 2013, 44(1): 208-215 (in Chinese).

    Google Scholar 

  24. DOTOLI M, FANTI M P, GIUA A, SEATZU C. First-order hybrid Petri nets: An application to distributed manufacturing systems [J]. Nonlinear Analysis: Hybrid Systems, 2008, 2(2): 408-430.

    MathSciNet  MATH  Google Scholar 

  25. MAHULEA C, RECALDE L, SILVA M. Observability of continuous Petri nets with infinite server semantics [J]. Nonlinear Analysis: Hybrid Systems, 2010, 4(2): 219-232.

    MathSciNet  MATH  Google Scholar 

  26. KILINCCI O. A Petri net-based heuristic for simple assembly line balancing problem of type [J]. The International Journal of Advanced Manufacturing Technology, 2010, 46(1/2/3/4): 329-338.

    Article  Google Scholar 

  27. SADRIEH S A, GHAELI M, BAHRI, P A, LEE P L. An integrated Petri net and GA based approach for scheduling of hybrid plants [J]. Computers in Industry, 2007, 58(6): 519-530.

    Article  Google Scholar 

  28. ZURAWSKI R, ZHOU Meng-zhu. Petri nets and industrial applications: A tutorial [J]. IEEE Transactions on Industrial Electronics, 1994, 41(6): 567-583.

    Article  Google Scholar 

  29. THIAGARAJAN P S. Elementary net systems [M]// Petri nets: Central models and their properties. Berlin: Springer Verlag, 1987: 26-59.

    Chapter  Google Scholar 

  30. LOONEY C G. Fuzzy Petri nets for rule-based decision-making [J]. IEEE Transactions on Systems, Man and Cybernetics, 1988, 18(1): 178-183.

    Article  Google Scholar 

  31. TANG Ying, ZHOU, Meng-zhu, GAO Mei-mei. Fuzzy-Petrinet- based disassembly planning considering human factors [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2006, 36(4): 718-726.

    Article  Google Scholar 

  32. HAO Ke-gang, TING Jian-jie. Hierarchical Petri nets [J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(2): 123-130. (in Chinese).

    MathSciNet  Google Scholar 

  33. LIU Hu-chen, LIN Qing-lian, REN Ming-lun. Fault diagnosis and cause analysis using fuzzy evidential reasoning approach and dynamic adaptive fuzzy Petri nets [J]. Computers & Industrial Engineering, 2013, 66: 899-908.

    Article  Google Scholar 

  34. MURATA T. Petri nets: Properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4): 541-580.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Soft Computing Research Group, Faculty of Computing, Universiti Teknologi Malaysia UTM Skudai, Johor, 81310, Malaysia

    Kai-qing Zhou  (周恺卿) & Azlan Mohd Zain

  2. College of Information Science and Engineering, Jishou University, Jishou, 416000, China

    Li-ping Mo  (莫礼平)

Authors
  1. Kai-qing Zhou  (周恺卿)
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Azlan Mohd Zain
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li-ping Mo  (莫礼平)
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kai-qing Zhou  (周恺卿).

Additional information

Foundation item: Project(R.J13000.7828.4F721) supported by Soft Computing Research Group (SCRP), Research Management Centre (RMC), UTM and Ministry of Higher Education Malaysia (MOHE) for Financial Support Through the Fundamental Research Grant Scheme (FRGS), Malaysia; Project(61462029) supported by the National Natural Science Foundation of China

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhou, Kq., Zain, A.M. & Mo, Lp. Dynamic properties of fuzzy Petri net model and related analysis. J. Cent. South Univ. 22, 4717–4723 (2015). https://doi.org/10.1007/s11771-015-3023-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11771-015-3023-7

Key words

Search

Navigation