Dynamic properties of fuzzy Petri net model and related analysis

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.

Keywords

fuzzy Petri net / elementary net system / backwards-compatible extension method / dynamic properties

References

[1] KoponenI 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

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

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

[4] WasimA, ShehabE, AbdallaH A-, AshaabA, SulowskiR, AlamR. 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

[5] ZhouB-h, PanQ-z, WangS-j, WuBin. 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

[6] DelzannoG R-, VelardoF. On the coverability and reachability languages of monotonic extensions of Petri nets [J]. Theoretical Computer Science, 2013, 46(7): 12-29

[7] PouyanA A, ShandizH T, ArastehfarS. Synthesis of a Petri net based control model for a FMS cell [J]. Computers in Industry, 2011, 62(5): 501-508

[8] LvY, LeeC K M, ChanH K, IpW 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

[9] MeyerA, DellnitzM v, MoloH. Symmetries in timed continuous Petri nets [J]. Nonlinear Analysis: Hybrid Systems, 2011, 5(2): 125-135

[10] AlimontiP, FeuersteinE, LauraL, NanniU. Linear time analysis of properties of conflict-free and general Petri nets [J]. Theoretical Computer Science, 2011, 412(4): 320-338

[11] ChandrasekaranS, SomnathN, SreenivasR 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

[12] HuH-s, ZhouM-c, LiZ-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

[13] TanW, FanY-s, ZhouM-c, TianZhong. 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

[14] SeoY, KimT, KimB, SheenD. 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

[15] NishiT, TanakaY. 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

[16] WangL, MahuleaC J, LvezJ, SilvaM. Minimum-time decentralized control of choice-free continuous Petri nets [J]. Nonlinear Analysis: Hybrid Systems, 2013, 7(1): 39-53

[17] WuZ, HsiehS 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

[18] HuH-s, LiZ-w A-, AhmariA. Reversed fuzzy Petri nets and their application for fault diagnosis [J]. Computers & Industrial Engineering, 2011, 60(4): 505-510

[19] ChengY-h, YangL-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

[20] WaiR-j, LiuC-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

[21] YuZ, FuX, CaiY, VuranM C. A reliable energy-efficient multi-level routing algorithm for wireless sensor networks using fuzzy Petri nets [J]. Sensors, 2011, 11(3): 3381-3400

[22] HuZ-g, MaH, WangG-j, LiaoLin. 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

[23] HuangM, LinX, HouZ-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

[24] DotoliM, FantiM P, GiuaA, SeatzuC. First-order hybrid Petri nets: An application to distributed manufacturing systems [J]. Nonlinear Analysis: Hybrid Systems, 2008, 2(2): 408-430

[25] MahuleaC, RecaldeL, SilvaM. Observability of continuous Petri nets with infinite server semantics [J]. Nonlinear Analysis: Hybrid Systems, 2010, 4(2): 219-232

[26] KilincciO. 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

[27] SadriehS A, GhaeliM B, PA, LeeP L. An integrated Petri net and GA based approach for scheduling of hybrid plants [J]. Computers in Industry, 2007, 58(6): 519-530

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

[29] ThiagarajanP S. Elementary net systems [M]. Petri nets: Central models and their properties, 1987BerlinSpringer Verlag26-59

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

[31] TangY Z M-z, GaoM-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

[32] HaoK-g, TingJ-jie. Hierarchical Petri nets [J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(2): 123-130

[33] LiuH-c, LinQ-l, RenM-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

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