{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T05:31:24Z","timestamp":1764135084980,"version":"3.46.0"},"reference-count":180,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T00:00:00Z","timestamp":1763942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000038","name":"NSERC","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>This article explores the foundational mechanisms of the Discrete Event System Specification (DEVS) theory\u2014closure under coupling, universality, and uniqueness\u2014and their critical role in enabling interoperability through modular, hierarchical simulation frameworks. Closure under coupling empowers modelers to compose interconnected models, both atomic and coupled, into unified systems without departing from the DEVS formalism. We show how this modular approach supports the scalable and flexible construction of complex simulation architectures on a firm system-theoretic foundation. Also, we show that facilitating the transformation from non-modular to modular and hierarchical structures endows a major benefit in that existing non-modular models can be accommodated by simply wrapping them in DEVS-compliant format. Therefore, DEVS theory simplifies model maintenance, integration, and extension, thereby promoting interoperability and reuse. Additionally, we demonstrate how DEVS universality and uniqueness guarantee that any system with discrete event interfaces can be structurally represented with the DEVS formalism, ensuring consistency across heterogeneous platforms. We propose that these mechanisms collectively can streamline simulator design and implementation for advancing simulation interoperability.<\/jats:p>","DOI":"10.3390\/computers14120514","type":"journal-article","created":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T10:46:18Z","timestamp":1764067578000},"page":"514","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation"],"prefix":"10.3390","volume":"14","author":[{"given":"Bernard P.","family":"Zeigler","sequence":"first","affiliation":[{"name":"RTSync Corp., Chandler, AZ 85226, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Kewley","sequence":"additional","affiliation":[{"name":"Simlytics.Cloud, Randolph, NJ 07869, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3366-9184","authenticated-orcid":false,"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Department of Systems and Computer Engineering, Carleton University, Ottawa, ON K1S 5B6, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2025,11,24]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1177\/0037549717714613","article-title":"Modular representation of asynchronous geometric integrators with support for dynamic topology","volume":"94","author":"Barros","year":"2018","journal-title":"Simulation"},{"key":"ref_2","first-page":"55","article-title":"Parallel DEVS: A parallel, hierarchical, modular modeling formalism and its distributed simulator","volume":"13","author":"Chow","year":"1996","journal-title":"Trans. Soc. Comput. Simul. Int."},{"key":"ref_3","unstructured":"Shiginah, F.A. (2006). Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency. [Doctoral Dissertation, Electrical and Computer Engineering Department, University of Arizona]."},{"key":"ref_4","unstructured":"Zeigler, B.P., and Sarjoughian, H.S. (1999, January 14\u201319). Support for hierarchical modular component based model construction in DEVS\/HLA. Proceedings of the Simulation Interoperability Workshop, Orlando, FL, USA."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1177\/003754979807100101","article-title":"Libraries of Reusable Models: Theory and Application","volume":"71","author":"Breunese","year":"1998","journal-title":"Simulation"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1016\/j.simpat.2006.05.004","article-title":"Min\u2013Max-DEVS modeling and simulation","volume":"14","author":"Hamri","year":"2006","journal-title":"Simul. Model. Pract. Theory"},{"key":"ref_7","unstructured":"Mama Diakit\u00e9, M., and Traor\u00e9, M. (2023, January 23\u201326). Formal Approach to Digital Twin Specification. Proceedings of the ANNSIM \u201823, Mohawk College, ON, Canada."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Muzy, A., Touraille, L., Vangheluwe, H., Michel, O., Kaba Traor\u00e9, M., and Hill, D. (2010, January 11\u201315). Activity regions for the specification of discrete event systems. Proceedings of the Spring Simulation Multi-Conference Symposium on Theory of Modeling and Simulation (DEVS), Orlando, FL, USA.","DOI":"10.1145\/1878537.1878679"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"750","DOI":"10.1177\/0037549709104727","article-title":"EUDEVS: Executable UML with DEVS theory of modeling and simulation","volume":"85","author":"Mittal","year":"2009","journal-title":"Simulation"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.simpat.2005.03.002","article-title":"Capturing the Dual Relationship Between Simulation Models and Their Context","volume":"14","author":"Muzy","year":"2006","journal-title":"Simul. Model. Pract. Theory"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1002\/inst.12414","article-title":"Pairing Bayesian Methods and Systems Theory to Enable Test and Evaluation of Learning-Based Systems","volume":"25","author":"Wach","year":"2022","journal-title":"Insight"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1504\/IJSPM.2022.130277","article-title":"A methodology to characterize simulation models for discovery and composition: A system theory-based approach to model curation for integration and reuse","volume":"19","author":"Zeigler","year":"2022","journal-title":"Int. J. Simul. Process Model."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"2350013","DOI":"10.1142\/S1793962323500137","article-title":"A Theoretical approach to the computational complexity measure of abstract DEVS simulators","volume":"14","author":"Diouf","year":"2023","journal-title":"Int. J. Model. Simul. Sci. Comput."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., Muzy, A., and Kofman, E. (2018). Theory of Modeling and Simulation, Academic Press. [3rd ed.].","DOI":"10.1016\/B978-0-12-813370-5.00010-9"},{"key":"ref_15","unstructured":"USDOD (2025, November 01). MOSA-Implementation-Guidebook. Available online: https:\/\/www.cto.mil\/wp-content\/uploads\/2025\/03\/MOSA-Implementation-Guidebook-27Feb2025-Cleared.pdf."},{"key":"ref_16","unstructured":"Balci, O. (1998, January 13\u201316). A Library of reusable Model Components for Visual Simulation of the NCSTRL System. Proceedings of the 1998 Winter Simulation Conference, Washington, DC, USA."},{"key":"ref_17","unstructured":"Bernardi, F., de Gentili, E., and Santucci, J. (2001, January 18\u201320). Reusable Models Integration in a DEVS Based Modelling and Simulation Environment. Proceedings of the ESS2001, Marseille, France."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Zhang, L., Zeigler, B.P., and LaiLi, Y. (2019). Weisel Model Composition and Reuse. Model Engineering for Simulation, Elsevier.","DOI":"10.1016\/B978-0-12-813543-3.00001-9"},{"key":"ref_19","unstructured":"Praehofer, H., Sametinger, J., and Stritzinger, A. (2000, January 23\u201327). Building Reusable Simulation Components. Proceedings of the WEBSIM2000, Web Based Modelling & Simulation, San Diego, CA, USA."},{"key":"ref_20","unstructured":"Keller, N., Zeigler, B., Kim, D., Anderson, C., and Ceney, J. (2020, January 20\u201322). Supporting the Reuse of Algorithmic Simulation Models. Proceedings of the SummerSim\u201920: 2020 Summer Simulation Conference, Virtual Event."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1177\/0037549705052275","article-title":"A formal representation of hybrid mobile components","volume":"81","author":"Barros","year":"2005","journal-title":"Simulation"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1002\/inst.12426","article-title":"Formalizing the Representativeness of Verification Models using Morphisms","volume":"26","author":"Wach","year":"2023","journal-title":"Insight"},{"key":"ref_23","first-page":"33","article-title":"Compositional Refinement for Hierarchical Hybrid Systems","volume":"Volume 2034","author":"Alur","year":"2001","journal-title":"Hybrid Systems: Computation and Control, Proceedings of the 4th International Conference (HSCC\u201901), Lecture Notes in Computer Science, Rome, Italy, 28\u201330 March 2001"},{"key":"ref_24","first-page":"15","article-title":"Lookahead computation in G-DEVS\/HLA environment","volume":"16","author":"Zacharewicz","year":"2006","journal-title":"SNE Simul News Europe"},{"key":"ref_25","unstructured":"Bae, J.W., Shin, S.-J., and Moon, I.-C. (2013, January 8\u201311). Faster Flattening of Hierarchical DEVS Model for Accelerated Simulation. Proceedings of the 2013 Winter Simulation Conference, Washington, DC, USA."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1177\/00375497241238457","article-title":"Defining hybrid hierarchical models in pHYFLOW","volume":"100","author":"Barros","year":"2024","journal-title":"Simulation"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Bernardi, F., and Santucci, J.F. (2002, January 9\u201314). Model Design Using Hierarchical Web Based Libraries. Proceedings of the 39th Conference on Design Automation, New Orleans, LA, USA.","DOI":"10.1145\/513918.513924"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1177\/00375497231176085","article-title":"Combining DEVS simulation and ontological modeling for hierarchical analysis of the SARS-CoV-2 replication","volume":"99","author":"Ayadi","year":"2023","journal-title":"Simulation"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/S1383-7621(97)00057-X","article-title":"Hierarchical partitioning algorithm for optimistic distributed simulation of DEVS models","volume":"44","author":"Kim","year":"1998","journal-title":"J. Syst. Archit."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1177\/0037549704042860","article-title":"Hierarchical modeling and simulation environment for intelligent transportation systems","volume":"80","author":"Lee","year":"2004","journal-title":"Simulation"},{"key":"ref_31","unstructured":"Chen, B., and Vangheluwe, H. (2010, January 11\u201314). Symbolic flattening of DEVS models. Proceedings of the SCSC \u201810: Proceedings of the 2010 Summer Computer Simulation Conference, Ottawa, ON, Canada."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Trabes, G.G., Gil-Costa, V., and Wainer, G.A. (2021, January 12\u201315). Complexity analysis on flattened PDEVS simulations. Proceedings of the 2021 Winter Simulation Conference (WSC), Phoenix, AZ, USA.","DOI":"10.1109\/WSC52266.2021.9715291"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1177\/0037549709359357","article-title":"A generalized discrete event system (G-DEVS) flattened simulation structure: Application to high-level architecture (HLA) compliant simulation of workflow","volume":"86","author":"Zacharewicz","year":"2010","journal-title":"Simulation"},{"key":"ref_34","unstructured":"Chreyh, R., and Wainer, G. (2009, January 23\u201325). CD++ Repository: An Internet Based Searchable Database of DEVS Models and Their Experimental Frames. Proceedings of the SpringSim\u201909, San Diego, CA, USA."},{"key":"ref_35","unstructured":"Schmidt, A., Durak, U., Rasch, C., and Pawletta, T. (2015, January 12\u201315). Model-Based Testing Approach for MATLAB\/Simulink Using System Entity Structure and Experimental Frames. Proceedings of the Spring Simulation Multi-Conference (SpringSim), TMS-DEVS Track, Alexandria, VA, USA."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Zeigler, B. (2018, January 6\u20138). Closure under coupling: Concept, proofs, DEVS recent examples (wip). Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences (ICCES\u201918), Kuala Lumpur, Malaysia.","DOI":"10.1145\/3213187.3213194"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1177\/0037549717690826","article-title":"A PDEVS simulator supporting multiple synchronization protocols: Implementation and performance analysis","volume":"94","author":"Cardoen","year":"2018","journal-title":"Simulation"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Folkerts, H. (2024). An Architecture for Model Behavior Generation for Multiple Simulators. [Ph.D. Thesis, University of Applied Sciences Wismar]. Available online: https:\/\/dokumente.ub.tu-clausthal.de\/receive\/clausthal_mods_00002606.","DOI":"10.11128\/fbs.42"},{"key":"ref_39","first-page":"1","article-title":"DEVS-suite: A simulator supporting visual experimentation design and behavior monitoring","volume":"9","author":"Kim","year":"2009","journal-title":"SpringSim"},{"key":"ref_40","unstructured":"Muzy, A., and Nutaro, J.J. (2005, January 13\u201315). Algorithms for efficient implementations of the DEVS&DSDEVS abstract simulators. Proceedings of the 1st Open International Conference on Modeling & Simulation, OICMS, Clermont-Ferrand, France."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1177\/0037549717726595","article-title":"Increasing the performance of a Discrete Event System Specification simulator by means of computational resource usage \u201cactivity\u201d models","volume":"93","author":"Vangheluwe","year":"2017","journal-title":"Simulation"},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1177\/0037549707084490","article-title":"Interoperability among parallel DEVS simulators and models implemented in multiple programming languages","volume":"83","author":"Wutzler","year":"2007","journal-title":"Simulation"},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1177\/0037549709346279","article-title":"A component-based simulator for MIPS32 processors","volume":"86","author":"Chen","year":"2010","journal-title":"Simulation"},{"key":"ref_44","unstructured":"Praehofer, H., Sametinger, J., and Stritzinger, A. (1999, January 17\u201320). Discrete Event Simulation Using the JavaBeans Component Model. Proceedings of the International Conference on Web Based Modeling & Simulation, San Francisco, CA, USA."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1177\/0037549703253543","article-title":"2003 Heterogeneous simulation framework using DEVS BUS","volume":"79","author":"Kim","year":"2003","journal-title":"Simulation"},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1177\/00375497231216471","article-title":"Conceptual alignment for simulation interoperability: Lessons learned from 30 years of interoperability research","volume":"100","author":"Tolk","year":"2024","journal-title":"Simulation"},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Tolk, A. (2022). Simulation-Based Optimization: Implications of Complex Adaptive Systems and Deep Uncertainty. Information, 13.","DOI":"10.3390\/info13100469"},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1177\/00375497221107940","article-title":"Research on co-simulation of multi-resolution models based on HLA","volume":"99","author":"Cao","year":"2023","journal-title":"Simulation"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1177\/0037549703040233","article-title":"DEVS\/HLA-Based Modeling and Simulation for Intelligent Transportation Systems","volume":"79","author":"Lee","year":"2003","journal-title":"Simulation"},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1177\/0037549708092833","article-title":"G-DEVS\/HLA environment for distributed simulations of workflows","volume":"84","author":"Zacharewicz","year":"2008","journal-title":"Simulation"},{"key":"ref_51","unstructured":"(2024, January 01). DIS IEEE Standard. Available online: https:\/\/standards.ieee.org\/ieee\/1278.1\/4949\/."},{"key":"ref_52","unstructured":"Kewley, R., Kester, N., and McDonnell, J. (2016, January 3\u20136). DEVS Distributed Modeling Framework: A Parallel DEVS Implementation via Microservices. Proceedings of the 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), Pasadena, CA, USA."},{"key":"ref_53","unstructured":"Kewley, R., Zeigler, B., and Wainer, G. (March, January 26). The Relationship Between DEVS Models and Real Systems. Proceedings of the 2024-SIW-Presentation-021, Orlando, FL, USA."},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Paredis, R., Denil, J., and Vangheluwe, H. (2021, January 12-15). Specifying and executing the combination of timed finite state automata and causal-block diagrams by mapping onto DEVS. Proceedings of the Winter Simulation Conference, Phoenix, AZ, USA.","DOI":"10.1109\/WSC52266.2021.9715387"},{"key":"ref_55","first-page":"49","article-title":"Co-simulation: A survey","volume":"51","author":"Gomes","year":"2018","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"ref_56","unstructured":"Lin, X. (2021). Co-simulation of Cyber-Physical Systems Using DEVS and Functional Mockup. [Master\u2019s Thesis, Arizona State University]. Available online: https:\/\/xlin.io\/publication\/master-thesis\/."},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1177\/0037549709340968","article-title":"DEVS\/SOA: A cross-platform framework for net-centric modeling and simulation in DEVS unified process","volume":"85","author":"Mittal","year":"2009","journal-title":"Simulation"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1177\/00375497231184246","article-title":"Simulation-driven engineering for the management of harmful algal and cyanobacterial blooms","volume":"99","author":"Esteban","year":"2023","journal-title":"Simulation"},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1177\/0037549717749014","article-title":"Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middleware","volume":"94","author":"Camus","year":"2018","journal-title":"Simulation"},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1177\/0037549717690447","article-title":"Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark","volume":"93","author":"Mittal","year":"2017","journal-title":"Simulation"},{"key":"ref_61","unstructured":"Risco-Mart\u00edn, J.L., Mittal, S., Fabero, J.C., Malag\u00f3n, P., and Ayala, J.L. (2016, January 24\u201327). Real-time hardware\/software co-design using devs-based transparent M&S framework. Proceedings of the SCSC \u201916 Summer Computer Simulation Conference, San Diego, CA, USA."},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1002\/spe.3168","article-title":"xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems","volume":"53","author":"Mittal","year":"2023","journal-title":"Softw. Pract. Exp."},{"key":"ref_63","first-page":"265","article-title":"Advanced simulation-based predictive modelling for solar irradiance sensor farms","volume":"19","author":"Campoy","year":"2024","journal-title":"J. Simul."},{"key":"ref_64","unstructured":"Ritvik, J. (2025, January 7\u201310). A Method for FMI and Devs for Co-Simulation. Proceedings of the Winter Simulation Conference (WSC), Seattle, WA, USA."},{"key":"ref_65","unstructured":"Vanommeslaeghe, Y., Van Acker, B., Vanherpen, K., and De Meulenaere, P. (2020). A co-simulation approach for the evaluation of multi-core embedded platforms in cyber-physical systems. Proceedings of the 2020 Summer Simulation Conference, ACM."},{"key":"ref_66","unstructured":"Zeigler, B.P. (2006, January 2\u20136). Embedding DEV&DESS in DEVS. Proceedings of the DEVS Symposium, Huntsville, AL, USA."},{"key":"ref_67","unstructured":"Functional Mockup Interface Standard (2024, July 09). Modelica Association. Available online: https:\/\/fmi-standard.org\/assets\/releases\/FMI_for_ModelExchange_and_CoSimulation_v2.0.pdf."},{"key":"ref_68","doi-asserted-by":"crossref","unstructured":"Hatledal, L.I., Zhang, H., Styve, A., and Hovland, G. (2018, January 26\u201328). Fmi4j: A software package for working with functional mock-up units on the java virtual machine. Proceedings of the 59th Conference on Simulation and Modelling (SIMS 59), Oslo, Norway.","DOI":"10.3384\/ecp1815337"},{"key":"ref_69","doi-asserted-by":"crossref","unstructured":"M\u00fcller, W., and Widl, E. (2013, January 15\u201318). Linking FMI-based components with discrete event systems. Proceedings of the 2013 IEEE International Systems Conference (SysCon), Orlando, FL, USA.","DOI":"10.1109\/SysCon.2013.6549955"},{"key":"ref_70","doi-asserted-by":"crossref","unstructured":"Tripakis, S. (2015, January 19\u201323). Bridging the semantic gap between heterogeneous modeling formalisms and FMI. Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Samos, Greece.","DOI":"10.1109\/SAMOS.2015.7363660"},{"key":"ref_71","doi-asserted-by":"crossref","unstructured":"Joshi, R., Nutaro, J., Zeigler, B., Wainer, G., and Kim, D. (2024). Functional Mock-up Interface Based Simulation of Continuous Time System in CADMIUM. Annual Simulation Conference (ANNSIM\u201924), American University.","DOI":"10.23919\/ANNSIM61499.2024.10732622"},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1177\/0037549704050919","article-title":"Design of distributed simulation environments: A unified system-theoretic and logical processes approach","volume":"80","author":"Nutaro","year":"2004","journal-title":"Simulation"},{"key":"ref_73","unstructured":"(2025, June 01). MS4 Me. Available online: https:\/\/www.ms4systems.com\/pages\/ms4me.php."},{"key":"ref_74","unstructured":"(2024, August 24). Cadmium V2: An Object-Oriented C++ M&S Platform for the PDEVS Formalism. Available online: https:\/\/github.com\/SimulationEverywhere\/cadmium_v2."},{"key":"ref_75","unstructured":"Earle, B., Bjornson, K., Ruiz-Martin, C., and Wainer, G. (2020, January 18\u201321). Development of A Real-Time DEVS Kernel: RT-Cadmium. Proceedings of the 2020 Spring Simulation Conference (SpringSim), Virtual Event."},{"key":"ref_76","doi-asserted-by":"crossref","first-page":"172","DOI":"10.4236\/ojmsi.2021.92012","article-title":"DecPDEVS: New simulation algorithms to improve message handling in PDEVS","volume":"9","author":"Bisgambiglia","year":"2021","journal-title":"Open J. Model. Simul."},{"key":"ref_77","doi-asserted-by":"crossref","unstructured":"Castro, R., Marcosig, E.P., and Giribet, J.I. (2019). Simulation model continuity for efficient development of embedded controllers in cyber-physical systems. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Springer.","DOI":"10.1002\/9781119552482.ch8"},{"key":"ref_78","unstructured":"Ho, Y.-C. (1992). Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, IEEE Press."},{"key":"ref_79","doi-asserted-by":"crossref","unstructured":"Thompson, J.S., Hodson, D.D., Grimaila, M.R., Hanlon, N., and Dill, R. (2023). Toward a Simulation Model Complexity Measure. Information, 14.","DOI":"10.20944\/preprints202302.0018.v2"},{"key":"ref_80","doi-asserted-by":"crossref","unstructured":"Albrecht, R.F. (1998). On mathematical systems theory. Systems: Theory and Practice, Springer.","DOI":"10.1007\/978-3-7091-6451-8"},{"key":"ref_81","doi-asserted-by":"crossref","unstructured":"Wach, P., Zeigler, B.P., and Salado, A. (2021). Conjoining Wymore\u2019s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE. Appl. Sci., 11.","DOI":"10.3390\/app11114936"},{"key":"ref_82","unstructured":"Wymore, A. (1967). A Mathematical Theory of Systems Engineering: The Elements, Krieger."},{"key":"ref_83","unstructured":"Wymore, A.W. (1993). Model-Based Systems Engineering, CRC Press LLC."},{"key":"ref_84","unstructured":"Wiener, N. (1948). Cybernetics: Or Control and Communication in the Animal and the Machine, MIT Press."},{"key":"ref_85","doi-asserted-by":"crossref","unstructured":"Ashby, W.R. (1956). An Introduction to Cybernetics, Chapman & Hall.","DOI":"10.5962\/bhl.title.5851"},{"key":"ref_86","unstructured":"Sipser, M. (2012). Introduction to the Theory of Computation, Cengage Learning. [3rd ed.]."},{"key":"ref_87","unstructured":"Milner, R. (1989). Communication and Concurrency, Prentice Hall."},{"key":"ref_88","unstructured":"Wing, J.M. (2002). FAQ on p-Calculus, Carnegie Mellon University."},{"key":"ref_89","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1177\/0037549711434603","article-title":"Using time stream Petri nets for workflow modelling analysis and enactment","volume":"89","author":"Cicirelli","year":"2013","journal-title":"Simulation"},{"key":"ref_90","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1016\/j.procs.2022.12.345","article-title":"Modeling and controlling IoT-based devices\u2019 behavior with high-level Petri nets","volume":"217","year":"2023","journal-title":"Procedia Comput. Sci."},{"key":"ref_91","doi-asserted-by":"crossref","unstructured":"Lechenne, S., Eberhart, C., and Hasuo, I. (2024). A Compositional Framework for Petri Nets. Coalgebraic Methods in Computer Science (LNCS 14617), Springer.","DOI":"10.1007\/978-3-031-66438-0_9"},{"key":"ref_92","doi-asserted-by":"crossref","unstructured":"Sobocinski, P. (2016). Compositional Model Checking of Concurrent Systems with Petri Nets. arXiv.","DOI":"10.4204\/EPTCS.204.3"},{"key":"ref_93","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1177\/0037549706075479","article-title":"Cost-based partitioning for distributed and parallel simulation of decomposable multiscale constructive models","volume":"82","author":"Park","year":"2006","journal-title":"Simulation"},{"key":"ref_94","unstructured":"Sisti, A.F. (2025, November 01). Large-Scale Battlefield Simulation Using a Multi-Level Model Integration Methodology, DTIC Report. Available online: https:\/\/apps.dtic.mil\/sti\/html\/tr\/ADA251357\/index.html."},{"key":"ref_95","first-page":"229","article-title":"A formal description specification for multi-resolution modeling based on DEVS formalism and its applications","volume":"4","author":"Baohong","year":"2007","journal-title":"J. Def. Model. Simul. Appl. Methodol. Technol."},{"key":"ref_96","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1177\/0037549718776368","article-title":"Discrete event system specification-based framework for modeling and simulation of propagation phenomena in social networks: Application to the information spreading in a multi-layer social network","volume":"95","author":"Bouanan","year":"2019","journal-title":"Simulation"},{"key":"ref_97","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1177\/0037549717744888","article-title":"A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems","volume":"94","author":"Djitog","year":"2018","journal-title":"Simulation"},{"key":"ref_98","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1177\/0037549717726868","article-title":"Multiscale representation of simulated time","volume":"94","author":"Goldstein","year":"2018","journal-title":"Simulation"},{"key":"ref_99","doi-asserted-by":"crossref","first-page":"688","DOI":"10.1177\/0037549709105240","article-title":"Exploring multi-paradigm modeling techniques","volume":"85","author":"Hardebolle","year":"2009","journal-title":"Simulation"},{"key":"ref_100","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1177\/0037549712450361","article-title":"Specification of multi-resolution modeling space for multi-resolution system simulation","volume":"89","author":"Hong","year":"2013","journal-title":"Simulation"},{"key":"ref_101","doi-asserted-by":"crossref","unstructured":"Kim, S., Cho, J., and Park, D. (2018). Accelerated DEVS Simulation Using Collaborative Computation on Multi-Cores and GPUs for Fire-Spreading IoT Sensing Applications. Appl. Sci., 8.","DOI":"10.3390\/app8091466"},{"key":"ref_102","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1177\/0037549711412237","article-title":"Multicore acceleration of discrete event system specification systems","volume":"88","author":"Liu","year":"2012","journal-title":"Simulation"},{"key":"ref_103","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1177\/0037549704050532","article-title":"Computer automated multi-paradigm modeling: An introduction","volume":"80","author":"Mosterman","year":"2004","journal-title":"Simulation"},{"key":"ref_104","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1177\/0037549715572490","article-title":"Multi-component wind turbine modeling and simulation for wind farm operations and maintenance","volume":"91","author":"Ntaimo","year":"2015","journal-title":"Simulation"},{"key":"ref_105","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/2818641","article-title":"Intensional coupling in variable structure models: An exploration based on multi-level DEVS","volume":"26","author":"Steiniger","year":"2016","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"key":"ref_106","unstructured":"Varga, A. (2000, January 25\u201327). DEVS as a common denominator formulti-formalism hybrid systems modelling. Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, Anchorage, AK, USA."},{"key":"ref_107","doi-asserted-by":"crossref","unstructured":"Balci, O. (1995, January 3\u20136). Principles and techniques of simulation validation, verification, and testing. Proceedings of the WSC \u201895 27th Conference on Winter Simulation, Arlington, VA, USA.","DOI":"10.1145\/224401.224456"},{"key":"ref_108","unstructured":"Dacharry, H., and Giambiasi, N. (September, January 29). Formal Verification with Timed Automata and DEVS Models: A Case Study. Proceedings of the ASSE 2005 Simposio Argentino de Ingenier\u00eda de Software\u201434 JAAIO Jornadas Argentinas de Inform\u00e1tica e Investigaci\u00f3n Operativa, Rosario, Argentina."},{"key":"ref_109","unstructured":"Hwang, M.H. (2005, January 3\u20137). Tutorial: Verification of real-time system based on schedule-preserved DEVS. Proceedings of the 2005 DEVS Symposium, San Diego, CA, USA."},{"key":"ref_110","unstructured":"Labiche, Y., and Wainer, G. (2005, January 28\u201330). Towards the verification and validation of DEVS models. Proceedings of the 1st Open International Conference on Modeling & Simulation, Clermont-Ferrand, France."},{"key":"ref_111","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1177\/0037549711424424","article-title":"Principles of discrete event system specification model verification","volume":"89","author":"Saadawi","year":"2013","journal-title":"Simulation"},{"key":"ref_112","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1177\/0037549720958056","article-title":"A DEVS-based pivotal modeling formalism and its verification and validation framework","volume":"96","author":"Samuel","year":"2020","journal-title":"Simulation"},{"key":"ref_113","unstructured":"Aliyu, H.O., Ma\u00efga, O., and Traor\u00e9, M.K. (2015, January 26\u201328). A framework for discrete event systems enactment. Proceedings of the 29th European Simulation and Modeling Conference-ESM\u201915, EUROSIS-ETI, Leicester, UK."},{"key":"ref_114","unstructured":"Sargent, R.G. (2004, January 5\u20138). Validation and verification of simulation models. Proceedings of the WSC \u201804: Proceedings of the 36th Conference on Winter Simulation, Washington, DC, USA."},{"key":"ref_115","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1177\/0037549720946107","article-title":"DEv-PROMELA: Modeling, verification, and validation of a video game by combining model-checking and simulation","volume":"96","author":"Yacoub","year":"2020","journal-title":"Simulation"},{"key":"ref_116","doi-asserted-by":"crossref","unstructured":"Sung, C.H., Moon, I.-C., and Kim, T.G. (2010, January 28\u201330). Collaborative Work in Domain-Specific Discrete Event Simulation Software Development: Fleet Anti-air Defense Simulation Software. Proceedings of the 2010 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, Larissa, Greece.","DOI":"10.1109\/WETICE.2010.31"},{"key":"ref_117","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1177\/0037549714532960","article-title":"DEVS-based combat modeling for engagement-level simulation","volume":"90","author":"Seo","year":"2014","journal-title":"Simulation"},{"key":"ref_118","first-page":"33","article-title":"DEVS\/NS-2 Environment: An Integrated Tool for Efficient Networks Modeling and Simulation","volume":"5","author":"Kim","year":"2008","journal-title":"J. Def. Model. Simul. Appl. Methodol. Technol."},{"key":"ref_119","unstructured":"Yu, T., and Lee, S. (2002, January 15\u201318). Evolving cellular automata to model fluid flow in porous media. Proceedings of the EH\u201902: Proceedings of the 2002 NASA\/DoD Conference on Evolvable Hardware (EH\u201902), Alexandria, VA, USA."},{"key":"ref_120","doi-asserted-by":"crossref","first-page":"1641003","DOI":"10.1142\/S1793962316410038","article-title":"The high level language for system specification: A model-driven approach to systems engineering","volume":"7","author":"Aliyu","year":"2016","journal-title":"Int. J. Model. Simul. Sci. Comput."},{"key":"ref_121","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1177\/0037549717708246","article-title":"Modeling and simulation of oncology clinic operations in discrete event system specification","volume":"94","author":"Alvarado","year":"2018","journal-title":"Simulation"},{"key":"ref_122","first-page":"35","article-title":"Dynamic structure discrete event system specification formalism","volume":"13","author":"Barros","year":"1996","journal-title":"Trans. Soc. Comput. Simul. Int."},{"key":"ref_123","unstructured":"Chan, W.K.V., D\u2019Ambrogio, A., Zacharewicz, G., Mustafee, N., Wainer, G., and Page, E. (2017, January 3\u20136). Routing structure over discrete event system specification: A DEVS adaptation to develop smart routing in simulation models. Proceedings of the 2017 Winter Simulation Conference, Las Vegas, NV, USA."},{"key":"ref_124","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1177\/0037549710376841","article-title":"Simulation of wind farm operations and maintenance using discrete event system specification","volume":"87","author":"Byon","year":"2011","journal-title":"Simulation"},{"key":"ref_125","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1177\/0037549715571623","article-title":"Transforming classic discrete event system specification models to specification and description language","volume":"91","year":"2015","journal-title":"Simulation"},{"key":"ref_126","unstructured":"Neykova, R., and Ng, N. (2014). A survey of modelling and software framework using discrete event system specification. 2014 Imperial College Computing Student Workshop; OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl\u2014Leibniz-Zentrum fuer Informatik, Dagstuhl."},{"key":"ref_127","unstructured":"Capocchi, L. (2025, June 11). DEVSimPy. Software Available on GitHub. Available online: https:\/\/github.com\/capocchi\/DEVSimPy."},{"key":"ref_128","doi-asserted-by":"crossref","unstructured":"Capocchi, L., Santucci, J., Poggi, B., and Nicolai, C. (2011, January 27\u201329). DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems. Proceedings of the 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Paris, France.","DOI":"10.1109\/WETICE.2011.31"},{"key":"ref_129","unstructured":"Rey, G., Tigli, J.Y., and Franquet, E. (2025). Actuation Conflict Management in Internet of Things Systems DevOps: A Discrete Event Modeling and Simulation Approach. Proceedings of the Internet of Things, Springer."},{"key":"ref_130","unstructured":"Dominici, A., Capocchi, L., De Gentili, E., and Santucci, J.F. (2021, January 5\u201310). Discrete Event Modeling and Simulation of Smart Parking Conflict Management. Proceedings of the 24th International Congress on Modelling and Simulation, Sydney, Australia."},{"key":"ref_131","doi-asserted-by":"crossref","unstructured":"Sehili, S., Capocchi, L., Santucci, J.F., Lavirotte, S., and Tigli, J.Y. (2015, January 21\u201323). Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework. Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, France.","DOI":"10.5220\/0005538300440052"},{"key":"ref_132","doi-asserted-by":"crossref","unstructured":"Wach, P., and Salado, A. (2022). The need for semantic extension of SysML to model the problem space. Recent Trends and Advances in Model Based Systems Engineering, Springer International Publishing.","DOI":"10.1007\/978-3-030-82083-1_24"},{"key":"ref_133","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., Sarjoughian, H.S., Duboz, R., and Souli, J.-C. (2013). Guide to Modeling and Simulation of Systems of Systems, Springer.","DOI":"10.1007\/978-0-85729-865-2"},{"key":"ref_134","unstructured":"Beltrame, T., and Cellier, F.E. (2006, January 4\u20135). Quantized state system simulation in Dymola\/Modelica using the DEVS formalism. Proceedings of the 5th International Modelica Conference, Vienna, Austria."},{"key":"ref_135","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1177\/0037549715616683","article-title":"Time discretization versus state quantization in the simulation of a one-dimensional advection\u2013diffusion\u2013reaction equation","volume":"92","author":"Bergero","year":"2016","journal-title":"Simulation"},{"key":"ref_136","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1177\/00375497241230985","article-title":"Discrete-event simulation of continuous-time systems: Evolution and state of the art of quantized state system methods","volume":"100","author":"Castro","year":"2024","journal-title":"Simulation"},{"key":"ref_137","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1177\/0037549718766689","article-title":"Improving linearly implicit quantized state system methods","volume":"95","author":"Migoni","year":"2019","journal-title":"Simulation"},{"key":"ref_138","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1177\/0037549714536255","article-title":"A stand-alone quantized state system solver for continuous system simulation","volume":"90","author":"Kofman","year":"2014","journal-title":"Simulation"},{"key":"ref_139","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1177\/0037549711399935","article-title":"Quantized state simulation of spiking neural networks","volume":"88","author":"Grinblat","year":"2012","journal-title":"Simulation"},{"key":"ref_140","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1177\/0037549703038881","article-title":"Quantization-based simulation of differential algebraic equation systems","volume":"79","author":"Kofman","year":"2003","journal-title":"Simulation"},{"key":"ref_141","first-page":"123","article-title":"Quantized-state systems: A DEVS Approach for continuous system simulation","volume":"18","author":"Kofman","year":"2001","journal-title":"Trans. Soc. Model. Simul. Int."},{"key":"ref_142","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.infsof.2005.04.008","article-title":"DEVSpecL: DEVS specification language for modeling, simulation, and analysis of discrete event systems","volume":"48","author":"Hong","year":"2006","journal-title":"Inform. Software Technol."},{"key":"ref_143","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s11334-009-0085-4","article-title":"A development methodology for embedded systems based on RT-DEVS","volume":"5","author":"Furfaro","year":"2009","journal-title":"Innovat. Syst. Software Eng."},{"key":"ref_144","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1177\/0037549715575197","article-title":"Quantization-based simulation of switched mode power supplies","volume":"91","author":"Migoni","year":"2015","journal-title":"Simulation"},{"key":"ref_145","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1177\/0037549711403645","article-title":"Quantization-based new integration methods for stiff ordinary differential equations","volume":"88","author":"Migoni","year":"2012","journal-title":"Simulation"},{"key":"ref_146","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1177\/0037549711401000","article-title":"The split system approach to managing time in simulations of hybrid systems having continuous and discrete event components","volume":"88","author":"Nutaro","year":"2012","journal-title":"Simulation"},{"key":"ref_147","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1177\/0037549702078001198","article-title":"Modeling and simulation of dynamic structure heterogeneous flow systems","volume":"78","author":"Barros","year":"2002","journal-title":"Simulation"},{"key":"ref_148","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1177\/0037549718809890","article-title":"Machine learning-based discrete event dynamic surrogate model of communication systems for simulating the command, control, and communication system of systems","volume":"95","author":"Kang","year":"2019","journal-title":"Simulation"},{"key":"ref_149","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1177\/0037549715581076","article-title":"Dynamically reconfigurable command and control structure for network-centric warfare","volume":"91","author":"Pang","year":"2015","journal-title":"Simulation"},{"key":"ref_150","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1177\/0037549709102762","article-title":"Performance measurement of dynamic structure DEVS for large-scale cellular space models","volume":"85","author":"Sun","year":"2009","journal-title":"Simulation"},{"key":"ref_151","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/384169.384173","article-title":"Dynamic structures in modeling and simulation: A reflective approach","volume":"11","author":"Uhrmacher","year":"2001","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"ref_152","doi-asserted-by":"crossref","first-page":"012021","DOI":"10.1088\/1742-6596\/2755\/1\/012021","article-title":"Modeling and Simulation of Unmanned Swarm System Based on Dynamic Structure DEVS","volume":"2755","author":"Zhang","year":"2024","journal-title":"J. Phys. Conf. Ser."},{"key":"ref_153","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1177\/0037549713504983","article-title":"A unifying framework for specifying DEVS parallel and distributed simulation architectures","volume":"89","author":"Adegoke","year":"2013","journal-title":"Simulation"},{"key":"ref_154","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1177\/0037549712454931","article-title":"A novel parallelization technique for DEVS simulation of continuous and hybrid systems","volume":"89","author":"Bergero","year":"2013","journal-title":"Simulation"},{"key":"ref_155","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1177\/0037549714529833","article-title":"A vectorial DEVS extension for large scale system modeling and parallel simulation","volume":"90","author":"Bergero","year":"2014","journal-title":"Simulation"},{"key":"ref_156","doi-asserted-by":"crossref","unstructured":"Bergero, F., and Kofman, E. (2014). A Vectorial DEVS Extension for Large Scale System Modeling and Parallel Simulation, Link\u00f6ping University Electronic Press.","DOI":"10.1177\/0037549714529833"},{"key":"ref_157","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1177\/00375497221132566","article-title":"Race conditions and data partitioning: Risks posed by common errors to reproducible parallel simulations","volume":"99","author":"Nutaro","year":"2023","journal-title":"Simulation"},{"key":"ref_158","unstructured":"Steinman, J.S. (1996, January 22\u201324). Discrete-event simulation and the event horizon part 2: Event list management. Proceedings of the PADS \u201896: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, Philadelphia, PA, USA."},{"key":"ref_159","first-page":"522","article-title":"A Parallel Algorithm to Accelerate DEVS Simulations in Shared Memory Architectures","volume":"90","author":"Trabes","year":"2023","journal-title":"Trans. Soc. Model. Simul. Int."},{"key":"ref_160","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1177\/0037549716658360","article-title":"Debugging parallel DEVS","volume":"93","author":"Vangheluwe","year":"2017","journal-title":"Simulation"},{"key":"ref_161","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1177\/0037549708092223","article-title":"DEVS approach to real-time RTI design for large-scale distributed simulation systems","volume":"84","author":"Boukerche","year":"2008","journal-title":"Simulation"},{"key":"ref_162","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1177\/0037549703038880","article-title":"The RTDEVS\/CORBA environment for simulation-based design of distributed real-time systems","volume":"79","author":"Cho","year":"2003","journal-title":"Simulation"},{"key":"ref_163","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1177\/0037549711400777","article-title":"A software architecture to ease the development of distributed simulation systems","volume":"87","author":"Gianni","year":"2011","journal-title":"Simulation"},{"key":"ref_164","unstructured":"Kim, T.G., and Kim, Y.J. A heterogeneous distributed simulation framework based on DEVS formalism. Proceedings of the Sixth Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems."},{"key":"ref_165","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1177\/003754970107700103","article-title":"Design and development of data distribution management environment","volume":"77","author":"Lee","year":"2001","journal-title":"Simulation"},{"key":"ref_166","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1177\/003754970107700102","article-title":"Simulation-based SW\/HW architectural design configurations for distributed mission training systems","volume":"77","author":"Sarjoughian","year":"2001","journal-title":"Simulation"},{"key":"ref_167","unstructured":"Trabes, G.G. (2023). Efficient DEVS Simulations Design on Heterogeneous Platforms. [Doctoral Dissertation, Universidad Nacional de San Luis]."},{"key":"ref_168","doi-asserted-by":"crossref","first-page":"3751917","DOI":"10.1155\/2018\/3751917","article-title":"multiPDEVS: A Parallel Multicomponent System Specification Formalism","volume":"2018","author":"Foures","year":"2018","journal-title":"Complexity"},{"key":"ref_169","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., Mittal, S., and Traore, M.K. (2018). MBSE with\/out Simulation: State of the Art and Way Forward. Systems, 6.","DOI":"10.3390\/systems6040040"},{"key":"ref_170","unstructured":"Mac Lane, S. (1998). Categories for the Working Mathematician, Springer. [2nd ed.]."},{"key":"ref_171","unstructured":"Edwin, Z.C., Daniel, D.E., Falcone, A., Garro, A., and M\u00f6ller, B. (2022). Enabling Simulation Interoperability between International Standards in the Space Domain, DS_RT_2022, IEEE."},{"key":"ref_172","unstructured":"NATO Science and Technology Organization (2025, June 01). Simulation Interoperability. STO Technical Report FR-MSG-086-Part-I. Available online: https:\/\/www.sto.nato.int\/document\/simulation-interoperability\/."},{"key":"ref_173","unstructured":"NATO Science and Technology Organization (2025, October 28). Allied Modelling and Simulation Publications. Available online: https:\/\/www.sto.nato.int\/the-collaborative-programme-of-work-cpow\/modeling-and-simulation\/nato-modelling-simulation-group\/nato-ms-standards-and-guidance\/."},{"key":"ref_174","unstructured":"Simulation Interoperability Standards Organization (2025, October 28). Standards Products. Available online: https:\/\/www.sisostandards.org\/page\/StandardsProducts."},{"key":"ref_175","unstructured":"(2025, June 01). Available online: https:\/\/www.navsea.navy.mil\/Home\/Warfare-Centers\/NSWC-Dahlgren\/Resources\/Leading-Edge\/I-I-Leading-Edge\/Wallace-andCummings\/#:~:text=OSM%20Overview,level%20model%20of%20many%20systems."},{"key":"ref_176","unstructured":"Kim, Y.J., and Kim, T.G. (1998, January 13\u201316). A heterogeneous simulation framework based on the DEVS BUS and the high level architecture. Proceedings of the 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274), Washington, DC, USA."},{"key":"ref_177","unstructured":"(2020, September 23). NATO Modelling and Simulation Group\u2014164. MSaaS in Action from a Customer Perspective. Presented at NATO CA2X2 Forum. Available online: https:\/\/www.mscoe.org\/nato-ca2x2-forum-agenda\/."},{"key":"ref_178","unstructured":"US Army Program Executive Office Simulation, Training, and Instrumentation (PEO STRI) (2020, December 01). Bifrost. Available online: https:\/\/www.peostri.army.mil\/Portals\/140\/Documents\/OneSAF\/onesaf-bifrost-fact-sheet.pdf?ver=lxrXLPEO179xUC8Z9ddtiA%3D%3D."},{"key":"ref_179","unstructured":"Orozco, J. (December, January 27). Enabling Multi-Domain Operations through Simulation Services. Proceedings of the 2023 Interservice\/Industry Training, Simulation, and Education Conference (I\/ITSEC), Orlando, FL, USA."},{"key":"ref_180","unstructured":"Simlytics.cloud, LLC (2025, October 28). DEVS Streaming Framework Introduction. Available online: https:\/\/github.com\/simlytics-cloud\/devs-streaming\/blob\/main\/docs\/import\/DEVS%20Streaming%20Framework%20Introduction.md."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/14\/12\/514\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T05:27:55Z","timestamp":1764134875000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/14\/12\/514"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,24]]},"references-count":180,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["computers14120514"],"URL":"https:\/\/doi.org\/10.3390\/computers14120514","relation":{},"ISSN":["2073-431X"],"issn-type":[{"type":"electronic","value":"2073-431X"}],"subject":[],"published":{"date-parts":[[2025,11,24]]}}}