{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T12:35:09Z","timestamp":1762432509346,"version":"3.44.0"},"reference-count":67,"publisher":"SAGE Publications","issue":"9","license":[{"start":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T00:00:00Z","timestamp":1745884800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p>This paper introduces a novel simulation modeling framework that seamlessly integrates Petri nets with logic programming, resulting in intelligent and adaptable simulation models capable of handling both discrete and continuous events. Instead of treating systems as standalone Petri nets, this methodology embeds Petri net semantics within simulation models, creating a hybrid state vector that incorporates attributes from both the Petri net and model-specific states. In addition, the modular design of the model supports high reusability and scalability, making it applicable across various domains, including industrial automation and workflow management. Embedding Petri nets within simulation entities enhances dynamic decision-making and specialized time-management capabilities. This approach reduces errors associated with fixed time-step sizes, thereby improving the accuracy of continuous event simulations. The solution introduces the external transition concept for Petri nets and implements a time-management approach based on qualitative landmarks and mathematically meaningful points, effectively minimizing errors caused by simulation time-step variations. To demonstrate the framework\u2019s versatility and effectiveness, six example applications illustrate how combining Petri nets with logic programming enhances the analytical power and flexibility of traditional simulation models. Ultimately, this paper establishes a comprehensive hybrid simulation framework that unifies discrete and continuous analysis, endows simulation entities with reasoning capabilities through logic programming, and provides robust modularity.<\/jats:p>","DOI":"10.1177\/00375497251333382","type":"journal-article","created":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T06:03:35Z","timestamp":1745906615000},"page":"951-979","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations"],"prefix":"10.1177","volume":"101","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7428-9351","authenticated-orcid":false,"given":"Mehmet Fatih","family":"Hocao\u011flu","sequence":"first","affiliation":[{"name":"Faculty of Engineering &amp; Natural Sciences, Department of Industrial Engineering, Istanbul Medeniyet University, Turkey"}]}],"member":"179","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_4"},{"key":"e_1_3_3_3_2","volume-title":"Petri net","author":"Kordic V.","year":"2008","unstructured":"Kordic V. Petri net. Rijeka: IntechOpen, 2008."},{"key":"e_1_3_3_4_2","doi-asserted-by":"crossref","unstructured":"Petri CA Reisig W. Petri net. Scholarpedia 2008; 3: 6477 https:\/\/api.semanticscholar.org\/CorpusID:30211595","DOI":"10.4249\/scholarpedia.6477"},{"key":"e_1_3_3_5_2","doi-asserted-by":"crossref","unstructured":"Azarnova TV Beloshitskiy AA Kashirina IL. Application of Bayesian networks and Petri nets apparatus for the study of projects implementation calendar plans. J Phys Conf Ser 2021; 1902: 012095 https:\/\/iopscience.iop.org\/article\/10.1088\/1742-6596\/1902\/1\/012095","DOI":"10.1088\/1742-6596\/1902\/1\/012095"},{"key":"e_1_3_3_6_2","volume-title":"The art of prolog advanced programming techniques","author":"Sterling L","year":"1994","unstructured":"Sterling L, Shapiro EY. The art of prolog advanced programming techniques. Cambridge, MA: MIT Press, 1994."},{"key":"e_1_3_3_7_2","volume-title":"Prolog programming in depth","author":"Covington MA","year":"1997","unstructured":"Covington MA, Nute D, Vellino A. Prolog programming in depth. Athens, Georgia: Prentice Hall, 1997."},{"key":"e_1_3_3_8_2","doi-asserted-by":"crossref","unstructured":"Denno P Dickerson C Harding JA. Dynamic production system identification for smart manufacturing systems. J Manuf Syst 2018; 48: 192\u2013203 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0278612518300451","DOI":"10.1016\/j.jmsy.2018.04.006"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2003.1267908"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"},{"key":"e_1_3_3_12_2","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"David R","year":"2005","unstructured":"David R, Alla H. Discrete, continuous, and hybrid Petri nets. Cham: Springer, 2005."},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035389"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/s40313-024-01066-0"},{"key":"e_1_3_3_15_2","doi-asserted-by":"crossref","unstructured":"Taleb-Berrouane M Khan F Amyotte P. Bayesian Stochastic Petri Nets (BSPN)\u2014a new modelling tool for dynamic safety and reliability analysis. Reliab Eng Syst Saf 2020; 193: 106587 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0951832018307051","DOI":"10.1016\/j.ress.2019.106587"},{"key":"e_1_3_3_16_2","doi-asserted-by":"crossref","unstructured":"Dehnert J Freiheit J Zimmermann A. Modelling and evaluation of time aspects in business processes. J Oper Res Soc 2002; 53: 1038\u20131047 https:\/\/www.tandfonline.com\/doi\/full\/10.1057\/palgrave.jors.2601416","DOI":"10.1057\/palgrave.jors.2601416"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538323"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538118"},{"key":"e_1_3_3_20_2","doi-asserted-by":"crossref","unstructured":"Alpan G Jafari MA. Dynamic analysis of timed Petri nets: a case of two processes and a shared resource. IEEE Trans Robot Auto 1997; 13: 338\u2013346 https:\/\/hal.science\/hal-01369386","DOI":"10.1109\/70.585897"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-012-0704-z"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/70.466609"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-6463-136-4_61"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06653-5_7"},{"key":"e_1_3_3_25_2","first-page":"276","volume-title":"Applications and theory of Petri nets","author":"Lautenbach K.","year":"2003","unstructured":"Lautenbach K. Logical reasoning and Petri nets. In: van der Aalst WMP, Best E (eds) Applications and theory of Petri nets. Berlin: Springer, 2003, pp. 276\u2013295."},{"key":"e_1_3_3_26_2","doi-asserted-by":"crossref","unstructured":"Luo J Tan K Luo H et al. Inference approach based on Petri Nets. Inf Sci 2021; 547: 1008\u20131024 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020025520309324","DOI":"10.1016\/j.ins.2020.09.023"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2445732"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/11767589_11"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07734-5_15"},{"key":"e_1_3_3_30_2","doi-asserted-by":"crossref","unstructured":"Jyotish N Kumar Singh LK et al. Performance measurement of safety-critical systems based on ordinary differential equations and Petri nets: a case study of nuclear power plant. Nucl Eng Technol 2023; 55: 861\u2013869 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1738573322005411","DOI":"10.1016\/j.net.2022.11.015"},{"key":"e_1_3_3_31_2","unstructured":"Reckell T Sterner B Jevti\u0107 P et al. A numerical comparison of Petri net and ordinary differential equation SIR component models 2024 https:\/\/arxiv.org\/abs\/2407.10019"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","unstructured":"Beccuti M Capra L De Pierro M et al. A tool for the automatic derivation of symbolic ODE from symmetric net models. In: 2019 IEEE 27th international symposium on modeling analysis and simulation of computer and telecommunication systems (MASCOTS) pp. 36\u201348. DOI: 10.1109\/MASCOTS.2019.00015.","DOI":"10.1109\/MASCOTS.2019.00015"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_26"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9184-3_17"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.5772\/7499"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024318"},{"key":"e_1_3_3_37_2","doi-asserted-by":"crossref","unstructured":"J\u00falvez J Mahulea C V\u00e1zquez CR. SimHPN: a MATLAB toolbox for simulation analysis and design with hybrid Petri nets. Nonlinear Anal Hybrid Syst 2012; 6: 806\u2013817 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1751570X11000586","DOI":"10.1016\/j.nahs.2011.10.001"},{"key":"e_1_3_3_38_2","first-page":"537","volume-title":"Advanced computer and communication engineering technology","author":"Thong WJ","unstructured":"Thong WJ, Ameedeen MA. A survey of Petri net tools. In: Sulaiman HA, Othman MA, Othman MFI, et al. (eds) Advanced computer and communication engineering technology. 2015 Cham: Springer, pp. 537\u2013551."},{"key":"e_1_3_3_39_2","first-page":"84","volume-title":"Automated technology for verification and analysis","author":"Byg J","unstructured":"Byg J, J\u00f8rgensen KY, Srba J. TAPAAL: editor, simulator and verifier of timed-arc Petri nets. In: Liu Z, Ravn AP (eds) Automated technology for verification and analysis. 2009. Berlin: Springer, pp. 84\u201389."},{"key":"e_1_3_3_40_2","first-page":"231","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"Thierry-Mieg Y","unstructured":"Thierry-Mieg Y. Symbolic model-checking using ITS-tools. In: Baier C, Tinelli C (eds) Tools and algorithms for the construction and analysis of systems. 2015, Berlin: Springer, pp. 231\u2013237."},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30599-8_10"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.973506"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2504-2"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.665073"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/288197.581193"},{"key":"e_1_3_3_46_2","volume-title":"Stochastic Petri nets: modelling, stability, simulation","author":"Haas PJ.","year":"2002","unstructured":"Haas PJ. Stochastic Petri nets: modelling, stability, simulation. Cham: Springer, 2002."},{"key":"e_1_3_3_47_2","doi-asserted-by":"crossref","unstructured":"Boucheneb H Bullich A Roux OH. FIFO time Petri nets for conflicts handling. IFAC Proc Vol 2012; 45: 143\u2013148 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1474667015401624","DOI":"10.3182\/20121003-3-MX-4033.00025"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3543146.3543165"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"e_1_3_3_51_2","doi-asserted-by":"crossref","unstructured":"Esparza J Nielsen L. Decidability issues for Petri nets\u2014A survey. Technical report 52 BRICS Department of Computer Science University of Aarhus 1994 https:\/\/arxiv.org\/abs\/2112.08445","DOI":"10.7146\/brics.v1i8.21662"},{"key":"e_1_3_3_52_2","volume-title":"Principles of model checking","author":"Baier C","year":"2008","unstructured":"Baier C, Katoen JP. Principles of model checking. Cambridge, MA: The MIT Press, 2008."},{"key":"e_1_3_3_53_2","volume-title":"Delay differential equations with applications in population dynamics","author":"Kuang Y.","year":"1993","unstructured":"Kuang Y. Delay differential equations with applications in population dynamics. Mathematics in Science and Engineering, volume 191. Cambridge: Academic Press, Inc., 1993."},{"key":"e_1_3_3_54_2","doi-asserted-by":"crossref","unstructured":"Catania AC. The operant reserve: a computer simulation in (accelerated) real time. Behav Process 2005; 69: 257\u2013278 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0376635705000379","DOI":"10.1016\/j.beproc.2005.02.009"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-46951-1_9"},{"key":"e_1_3_3_56_2","unstructured":"Molnar TG Kiss AK Ames AD et al. Safety-critical control with input delay in dynamic environment 2022. https:\/\/arxiv.org\/abs\/2112.08445"},{"key":"e_1_3_3_57_2","doi-asserted-by":"crossref","unstructured":"Ruiz-Mart\u00ednez A Bartol TM Sejnowski TJ et al. Stochastic self-tuning hybrid algorithm for reaction-diffusion systems. J Chem Phys 2019; 151: 244117 https:\/\/pubs.aip.org\/aip\/jcp\/article-pdf\/doi\/10.1063\/1.5125022\/15568827\/244117_1_online.pdf","DOI":"10.1063\/1.5125022"},{"key":"e_1_3_3_58_2","doi-asserted-by":"crossref","unstructured":"Hocao\u011flu MF. Qualitative reasoning for quantitative simulation. Mod Simul Eng 2018; 2018: 7842402 https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2018\/7842402","DOI":"10.1155\/2018\/7842402"},{"key":"e_1_3_3_59_2","doi-asserted-by":"crossref","unstructured":"Griffith H Ruiz-Martin C Wainer G. A discrete-event modeling method to study human behavior for spread of diseases on university campuses. Comp Indus Eng 2025; 200: 110732 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0360835224008544","DOI":"10.1016\/j.cie.2024.110732"},{"key":"e_1_3_3_60_2","doi-asserted-by":"crossref","unstructured":"Du Y Zhou H. Research on safety strategies for nucleic acid testing in sudden epidemic conditions based on a SEIARD dynamic model. Sci Rep 2024; 14: 21385 https:\/\/www.nature.com\/articles\/s41598-024-71595-w","DOI":"10.1038\/s41598-024-71595-w"},{"key":"e_1_3_3_61_2","doi-asserted-by":"crossref","unstructured":"P\u00e9rez AGC Oluyori DA. An extended SEIARD model for COVID-19 vaccination in Mexico: analysis and forecast. Math Appl Sci Eng 2021; 2: 273\u2013289 https:\/\/ojs.lib.uwo.ca\/index.php\/mase\/article\/view\/14233","DOI":"10.5206\/mase\/14233"},{"key":"e_1_3_3_62_2","doi-asserted-by":"crossref","unstructured":"de Le\u00f3n UAP P\u00e9rez AGC Avila-Vales E. A data driven analysis and forecast of an SEIARD epidemic model for COVID-19 in Mexico. Big Data Inform Anal 2020; 5: 14\u201328 https:\/\/www.aimspress.com\/article\/doi\/10.3934\/bdia.2020002","DOI":"10.3934\/bdia.2020002"},{"key":"e_1_3_3_63_2","doi-asserted-by":"crossref","unstructured":"Aspri A Beretta E Gandolfi A et al. Mortality containment vs. Economics opening: optimal policies in a SEIARD model 2020 http:\/\/arxiv.org\/abs\/2006.00085","DOI":"10.1016\/j.jmateco.2021.102490"},{"key":"e_1_3_3_64_2","volume-title":"Theory of modeling and simulation","author":"Zeigler BP","year":"2000","unstructured":"Zeigler BP, Praehofer H, Kim TG. Theory of modeling and simulation. Florida, USA: Academic Press, 2000."},{"key":"e_1_3_3_65_2","doi-asserted-by":"crossref","unstructured":"Wainer G. CD++: a toolkit to develop DEVS models. Softw Pract Exp 2002; 32: 1261\u20131306 https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.482","DOI":"10.1002\/spe.482"},{"key":"e_1_3_3_66_2","doi-asserted-by":"crossref","unstructured":"Hocaoglu MF. AdSiF: agent driven simulation framework paradigm and ontological view. Sci Comp Program 2018; 167: 70\u201390 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642318302648","DOI":"10.1016\/j.scico.2018.07.004"},{"key":"e_1_3_3_67_2","doi-asserted-by":"crossref","unstructured":"Hocao\u011flu MF. AdSiF: agent driven simulation framework paradigm and ontological view. Sci Comp Program 2018; 167: 70\u201390 https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642318302648","DOI":"10.1016\/j.scico.2018.07.004"},{"key":"e_1_3_3_68_2","volume-title":"Parallel and distributed simulation systems","author":"Fujimoto RM.","year":"2000","unstructured":"Fujimoto RM. Parallel and distributed simulation systems. Canada: Wiley Series in Parallel & Distributed Computing, 2000."}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497251333382","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/00375497251333382","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497251333382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T07:01:05Z","timestamp":1756710065000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/00375497251333382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,29]]},"references-count":67,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["10.1177\/00375497251333382"],"URL":"https:\/\/doi.org\/10.1177\/00375497251333382","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"type":"print","value":"0037-5497"},{"type":"electronic","value":"1741-3133"}],"subject":[],"published":{"date-parts":[[2025,4,29]]}}}