Abstract
Fluidization is a crucial technique for converting stochastic Petri nets (SPNs) into continuous Petri nets (CPNs) to overcome the challenge of combinatorial state explosion, which results in prolonged computational time for steady-state probability estimates. The ultimate aim is to obtain a precise continuous model that captures the behavior of the SPN. However, fluidization's continuous behavior is distinct from typical stochastic systems. In this study, we conducted an in-depth analysis of fluidization in single and multiple regions. We considered different approaches, including piecewise linear and adaptive techniques, and added sufficient conditions to both approaches to achieve superior convergence between the two models. Our results are interpreted and compared. The adaptive approach, which utilizes a nonlinear adaptive law to minimize errors caused by average throughput and average marking variations, achieved excellent convergence compared to the piecewise linear approach, which involves several steps, such as subdividing marking trajectories into multiple phases and intermediate points. Overall, this study highlights the effectiveness of the adaptive approach in enhancing convergence in CPNs.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajmone Marsan, M., & Chiola, G. (1987). On Petri nets with deterministic and exponentially distributed firing times. Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), 266 LNCS. (pp. 132–145). https://doi.org/10.1007/3-540-18086-9_23
Akchioui, N. (2018). About the Approximation of stochastic petri nets by continuous petri nets: several regions. In Maghrebian Journal of Pure and Applied Science (Vol. 1). http://revues.imist.ma/?journal=mjpas&page=index
Arzola, C., Ramírez-Treviño, A., & Silva, M. (2020). On the equilibrium sets of topologically equal conflict timed continuous petri nets. IFAC-PapersOnLine, 53(4), 363–370. https://doi.org/10.1016/j.ifacol.2021.04.072
Benaya, N., El-Akchioui, N., & Mourabit, T. (2018). Limits of fluidification for a stochastic Petri nets by timed continuous Petri nets. In 2018 International conference on intelligent systems and computer vision, ISCV 2018, 2018-May. (pp. 1–7). https://doi.org/10.1109/ISACV.2018.8354065
Bobbio, A., Puliafito, A., Telek, M., & Trivedi, K. S. (1998). Recent developments in non-markovian stochastic petri nets. Journal of Circuits, Systems and Computers, 8(1), 119–158. https://doi.org/10.1142/S0218126698000067
Coolahan, J. E., & Roussopoulos, N. (1983). Timing requirements for time-driven systems using augmented petri nets. IEEE Transactions on Software Engineering, 9(5), 603–616. https://doi.org/10.1109/TSE.1983.235261
David, R. (1993). Petri nets and grafcet for specification of logic controllers. IFAC Proceedings Volumes, 26(2), 683–688. https://doi.org/10.1016/s1474-6670(17)49215-9
David, R., & Alla, H. (1994). Petri nets for modeling of dynamic systems. A Survey. Automatica, 30(2), 175–202. https://doi.org/10.1016/0005-1098(94)90024-8
del Foyo, P. M. G., & Silva, J. R. (2017). Improving the verification of real-time systems using time petri nets. Journal of Control, Automation and Electrical Systems, 28(6), 774–784. https://doi.org/10.1007/s40313-017-0343-x
Desel, J., & Juhás, G. (2001). What is a petri net? Informal answers for the informed reader (pp. 1–25). Berlin: Springer. https://doi.org/10.1007/3-540-45541-8_1
El Akchioui, N. (2017). Fluidification of stochastic petri net by non linear timed continuous petri net. American Journal of Embedded Systems and Applications., 5(4), 29. https://doi.org/10.11648/j.ajesa.20170504.11
El Moumen, H., Nabil, E. A., & Zerrouk, M. H. (2023). About the reliability analysis of complex dynamical systems via fluidification: A numerical approach. International Journal of Reliability and Safety. https://doi.org/10.1504/ijrs.2023.10057771
El Moumen, H., Nabil, E. A., & Zerrouk, M. H. (2023). Stochastic and continuous Petri nets approximation of Markovian model. International Journal of Modelling, Identification and Control. https://doi.org/10.1504/ijmic.2023.10057520
El, N., & Choukrad, S. (2016). Approximations of stochastic nets by mean of continuous petri nets. International Journal of Computer Applications, 155(4), 26–31. https://doi.org/10.5120/ijca2016912292
El-Moumen, H., Akchioui, N. E., & Zerrouk, M. H. (2023). Limits of direct fluidification of stochastic petri nets by timed CPNs. AIP Conference Proceedings, 2814(1), 040012. https://doi.org/10.1063/5.0148812
Esparza, J. (1998). Lectures on petri nets I: Basic models. (Vol. 1491). https://doi.org/10.1007/3-540-65306-6
Molloy, M.K. (1981). On the Integration of Delay and Throughput Measures in Distributed Processing Models. Ph.D. Thesis, UCLA, Los Angeles, CA.
Florin, G., Fraize, C., & Natkin, S. (1991). Stochastic petri nets: Properties, applications and tools. Microelectronics Reliability, 31(4), 669–697. https://doi.org/10.1016/0026-2714(91)90009-V
Giua, A., & Silva, M. (2018). Petri nets and automatic control: A historical perspective. Annual Reviews in Control, 45, 223–239. https://doi.org/10.1016/j.arcontrol.2018.04.006
Haas, P., & Shedler, G. S. (1989). Stochastic petri net representation of discrete event simulations. In IEEE transactions on software engineering (Vol. 15, pp. 381–393). https://doi.org/10.1109/32.16599
Heiner, M., Lehrack, S., Gilbert, D., & Marwan, W. (2009). Extended stochastic petri nets for model-based design of wetlab experiments. Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), 5750 LNBI (pp. 138–163). https://doi.org/10.1007/978-3-642-04186-0_7
Horton, G., Kulkarni, V. G., Nicol, D. M., Trivedi, K. S., & Ffir Rechnerstrukturen, L. (n.d.). Fluid stochastic petri nets: Theory, applications, and solution 1.
Júlvez, J., Recalde, L., & Silva, M. (2005). Steady-state performance evaluation of continuous mono-T-semiflow petri nets. Automatica, 41(4), 605–616. https://doi.org/10.1016/j.automatica.2004.11.007
Kalaiarasi, S., & Anita, A. M. (2017). Analysis of system reliability using Markov technique. Global Journal of Pure and Applied Mathematics., 13(9), 5265–5273.
Karamanolis, C. (1999). Book review: elements of distributed algorithms—modeling and analysis with petri nets. IEE Proceedings-Software, 146(2), 128. https://doi.org/10.1049/ip-sen:19990509
Kuntz, J., Thomas, P., Stan, G. B., & Barahona, M. (2021). Stationary distributions of continuous-time markov chains: A review of theory and truncation-based approximations. In SIAM Review (Vol. 63(1), pp. 3–64). https://doi.org/10.1137/19M1289625
Lefebvre, D., Leclercq, E., Khalij, L., Souza De Cursi, E., & El Akchioui, N. (2009). Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: A numerical approach. IFAC Proceedings Volumes (IFAC-PapersOnline), 3(PART 1) (pp. 62–67). https://doi.org/10.3182/20090916-3-es-3003.00012
Lefebvre, D., Leclercq, E., El Akchioui, N., De Cursis, E. S., & Khalij, L. (2010). A geometric approach for the homothetic approximation of stochastic Petri nets. IFAC Proceedings Volumes (IFAC-PapersOnline), 10(Part 1) (pp. 235–240). https://doi.org/10.3182/20100830-3-de-4013.00040
Lefebvre, D., & Leclercq, E. (2012). Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. Discrete Event Dynamic Systems: Theory and Applications, 22(2), 179–196. https://doi.org/10.1007/s10626-011-0114-y
Marsan, M. A. (1990). Stochastic Petri nets: An elementary introduction (pp. 1–29). https://doi.org/10.1007/3-540-52494-0_23
Merlin, P. M. (1974.). University of California Irvine a study of the recoverability of computing systems a dissertation submitted in partial satisfaction of the requirements for the degree doctor of philosophy in information and computer science.
Moumen, H. E., Akchioui, N. E., & Zerrouk, M. H. (2022). Reliability analysis by Markov model and stochastic estimator of stochastic Petri nets. International Journal of Reliability and Safety, 16(1/2), 110. https://doi.org/10.1504/ijrs.2022.128614
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580. https://doi.org/10.1109/5.24143
Natkin, S. (1980). Les Reseaux de Petri Stochastiques et leur Application a l'Evaluation des Systèmes Informatiques. Thèse de Docteur Ingegneur, CNAM, Paris, France.
Navarro-Gutiérrez, M., Ramírez-Treviño, A., & Silva, M. (2022). Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow petri nets: Firing rate and initial marking variations. Automatica, 136, 110074. https://doi.org/10.1016/j.automatica.2021.110074
Pinto, C. A., Farinha, J. T., & Singh, S. (2021). Contributions of petri nets to the reliability and availability of an electrical power system in a big European hospital—a case study. WSEAS Transactions on Systems and Control, 16, 21–42. https://doi.org/10.37394/23203.2021.16.2
Ramchandani, C. (1974). MAC TR-120 analysis of asynchronous concurrent systems by-petri nets.
Recalde, L., Teruel, E., & Silva, M. (1999). Autonomous continuous P/T systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1639, 107–126. https://doi.org/10.1007/3-540-48745-X_8
Ribeiro, G. R., Saldanha, R. R., & Maia, C. A. (2018). Analysis of decision stochastic discrete-event systems aggregating max-plus algebra and Markov chain. Journal of Control, Automation and Electrical Systems. https://doi.org/10.1007/s40313-018-0394-7
Rozenberg, G., & Engelfriet, J. (1998). Elementary net systems (pp. 12–121). https://doi.org/10.1007/3-540-65306-6_14
Seatzu, C. (2005). Discrete, continuous and hybrid petri nets, René David and Hassane Alla, Springer, Berlin, Heidelberg, 2005, ISBN 3-540-22480-7. International Journal of Robust and Nonlinear Control, 15(14), 637–640. https://doi.org/10.1002/rnc.1029
Silva, M., & Recalde, L. (2002). Petri nets and integrality relaxations: A view of continuous petri net models. IEEE Transactions on Systems, Man and Cybernetics Part c: Applications and Reviews, 32(4), 314–327. https://doi.org/10.1109/TSMCC.2002.806063
Silva, M., & Recalde, L. (2004). On fluidification of petri nets: From discrete to hybrid and continuous models. Annual Reviews in Control, 28(2), 253–266. https://doi.org/10.1016/j.arcontrol.2004.05.002
Symons, F. J. W. (1980). Introduction to numerical petri nets, a general graphical model of concurrent processing systems. ATR, Australian Telecommunication Research, 14(1), 28–33.
Vazquez, C. R., & Silva, M. (2009). Hybrid approximations of Markovian Petri nets. IFAC Proceedings Volumes (IFAC-PapersOnline), 3(PART 1) (pp. 56–61). https://doi.org/10.3182/20090916-3-es-3003.00011
Vázquez, C. R., Recalde, L., & Silva, M. (2008). Stochastic continuous-state approximation of markovian petri net systems. Proceedings of the IEEE Conference on Decision and Control. https://doi.org/10.1109/CDC.2008.4739075
Vazquez, C. R., & Silva, M. (2015). Stochastic hybrid approximations of Markovian petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(9), 1231–1244. https://doi.org/10.1109/TSMC.2014.2387097
Vázquez-Serrano, J. I., Peimbert-García, R. E., & Cárdenas-Barrón, L. E. (2021). Discrete-event simulation modeling in healthcare: A comprehensive review. International Journal of Environmental Research and Public Health., 18(22), 12262. https://doi.org/10.3390/ijerph182212262
Zhu, J. J., & Denton, R. T. (1988). Timed Petri nets and their application to communication protocol specification. Proceedings-IEEE Military Communications Conference, 1, 195–199. https://doi.org/10.1109/milcom.1988.13390
Author information
Authors and Affiliations
Contributions
All authors have participated in the conception and design, analysis and interpretation of the data, drafting of the article, or revision of it for important intellectual content, and have given their approval for the final version of the manuscript. This manuscript has not been submitted to, nor is under review at, another journal or any other publishing venue.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no affiliation with any organization that has a direct or indirect financial interest in the subject matter discussed in this manuscript.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
El-Moumen, H., El Akchioui, N. Fluidization of Stochastic Petri Nets via Continuous Petri Nets: Comparative Study. J Control Autom Electr Syst 35, 401–414 (2024). https://doi.org/10.1007/s40313-024-01066-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40313-024-01066-0