{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:42:04Z","timestamp":1769283724535,"version":"3.49.0"},"reference-count":29,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T00:00:00Z","timestamp":1522108800000},"content-version":"vor","delay-in-days":85,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Corsican region (CTC)"},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Complexity"],"published-print":{"date-parts":[[2018,1]]},"abstract":"<jats:p>Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called<jats:italic>abstract simulator<\/jats:italic>. As a well\u2010adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell\u2010DEVS implementation through a fire spread application.<\/jats:p>","DOI":"10.1155\/2018\/3751917","type":"journal-article","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T23:30:41Z","timestamp":1522193441000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["multiPDEVS: A Parallel Multicomponent System Specification Formalism"],"prefix":"10.1155","volume":"2018","author":[{"given":"Damien","family":"Foures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9563-3449","authenticated-orcid":false,"given":"Romain","family":"Franceschini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul-Antoine","family":"Bisgambiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2018,3,27]]},"reference":[{"key":"e_1_2_9_1_2","first-page":"148","article-title":"Foundations of Modelling and Simulation of Complex Systems","volume":"10","author":"Vangheluwe H.","year":"2008","journal-title":"Electronic Communications of the EASST"},{"key":"e_1_2_9_2_2","volume-title":"Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems","author":"Zeigler B. P.","year":"2000"},{"key":"e_1_2_9_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2021352"},{"key":"e_1_2_9_4_2","doi-asserted-by":"publisher","DOI":"10.1177\/003754970107600102"},{"key":"e_1_2_9_5_2","volume-title":"Real-time devs simulation: Concurrent, time-selective execution of combined rt-devs model and interactive environment","author":"Cho S. M.","year":"1998"},{"key":"e_1_2_9_6_2","unstructured":"KofmanE.andCastroR. D. Stdevs a novel formalism for modeling and simulation of stochastic discrete event systems In Proceedings of AADECA 2006 1\u20136."},{"key":"e_1_2_9_7_2","doi-asserted-by":"crossref","unstructured":"ChowA. C.-H.andZeiglerB. P. Parallel DEVS: a parallel hierarchical modular modeling formalism Proceedings of the 1994 Winter Simulation Conference December 1994 Society for Computer Simulation International 716\u2013722 2-s2.0-0028743564.","DOI":"10.1109\/WSC.1994.717419"},{"key":"e_1_2_9_8_2","doi-asserted-by":"publisher","DOI":"10.1071\/WF00005"},{"key":"e_1_2_9_9_2","first-page":"509","article-title":"A survey on the application of the cell-{DEVS} formalism","volume":"5","author":"Wainer G.","year":"2010","journal-title":"Journal of Cellular Automata"},{"key":"e_1_2_9_10_2","doi-asserted-by":"publisher","DOI":"10.1177\/0037549715624146"},{"key":"e_1_2_9_11_2","doi-asserted-by":"crossref","unstructured":"InnocentiE. MuzyA. A\u00efelloA. SantucciJ.-F. andHillD. R. C. Active-DEVS: A computational model for the simulation of forest fire propagation Proceedings of the 2004 IEEE International Conference on Systems Man and Cybernetics SMC 2004 October 2004 The Hague Netherlands IEEE 1857\u20131863 https:\/\/doi.org\/10.1109\/ICSMC.2004.1399932 2-s2.0-15744370521.","DOI":"10.1109\/ICSMC.2004.1399932"},{"key":"e_1_2_9_12_2","doi-asserted-by":"crossref","unstructured":"MuzyA. InnocentiE. SantucciJ.-F. andHillD. R. C. Optimization of cell spaces simulation for the modeling of fire spreading Proceedings of the 36th Annual Simulation Symposium ANSS 2003 April 2003 Orlando FL USA USA IEEE 289\u2013296 https:\/\/doi.org\/10.1109\/SIMSYM.2003.1192825 2-s2.0-84907910353.","DOI":"10.1109\/SIMSYM.2003.1192825"},{"key":"e_1_2_9_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2875356"},{"key":"e_1_2_9_14_2","doi-asserted-by":"crossref","unstructured":"JaferS.andWainerG. Flattened conservative parallel simulator for DEVS and cell-DEVS Proceedings of the 2009 International Conference on Computational Science and Engineering CSE \u203209 August 2009 Vancouver BC Canada IEEE 443\u2013448 https:\/\/doi.org\/10.1109\/CSE.2009.52 2-s2.0-70749126189.","DOI":"10.1109\/CSE.2009.52"},{"key":"e_1_2_9_15_2","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709359357"},{"key":"e_1_2_9_16_2","unstructured":"ChenB.andVangheluweH. Symbolic Flattening of DEVS models Proceedings of the Summer Computer Simulation Conference SCSC 2010 Part of the 2010 Summer Simulation Multiconference SummerSim 2010 July 2010 Society for Computer Simulation International 209\u2013218."},{"key":"e_1_2_9_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2011.01.006"},{"key":"e_1_2_9_18_2","unstructured":"ShiginahF. A. Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency [Ph.D. thesis] 2006 The University of Arizona."},{"key":"e_1_2_9_19_2","volume-title":"Guide to Modeling and Simulation of Systems of Systems. Simulation Foundations, Methods and Applications. Simulation Foundations, Methods and Applications","author":"Zeigler B. P.","year":"2013"},{"key":"e_1_2_9_20_2","doi-asserted-by":"crossref","unstructured":"ChowA. C.-H. ZeiglerB. andKimD. H. Abstract simulator for the parallel DEVS formalism Proceedings of the Fifth Annual Conference on AI and Planning in High Autonomy Systems December 1994 Gainesville FL USA IEEE 157\u2013163 https:\/\/doi.org\/10.1109\/AIHAS.1994.390488.","DOI":"10.1109\/AIHAS.1994.390488"},{"key":"e_1_2_9_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/0360-1285(91)90003-6"},{"key":"e_1_2_9_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.envsoft.2004.04.011"},{"key":"e_1_2_9_23_2","unstructured":"MuzyA.andNutaroJ. Algorithms for efficient implementations of the DEVS and DSDEVS abstract simulators In proceddings of the 2008 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005 IEEE 273\u2013279."},{"key":"e_1_2_9_24_2","unstructured":"HimmelspachJ.andUhrmacherA. M. Sequential processing of PDEVS models Proceedings of the International Mediterranean Modelling Multiconference I3M 2006 October 2006 esp 239\u2013244 2-s2.0-84870203597."},{"key":"e_1_2_9_25_2","unstructured":"FranceschiniR. BisgambigliaP.-A. BisgambgliaP. andHillD. R. C. DEVS-Ruby: A domain specific language for DEVS modeling and simulation (WIP) Proceedings of the 2014 Symposium on Theory of Modeling and Simulation - DEVS Integrative M and S Symposium DEVS 2014; 2014 Spring Simulation Multi-Conference SpringSim 2014 April 2014 SCS International 393\u2013398."},{"key":"e_1_2_9_26_2","doi-asserted-by":"crossref","unstructured":"BarrosF. J. Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation Proceedings of the 1995 Winter Simulation Conference WSC\u203295 December 1995 781\u2013785 2-s2.0-0029515624.","DOI":"10.1145\/224401.224731"},{"key":"e_1_2_9_27_2","unstructured":"VicinoD. NiyonkuruD. WainerG. A. andDalleO. Sequential PDEVS Architecture Proceedings of the DEVS 15: Proceedings of the Symposium on Theory of Modeling Simulation-DEVS Integrative April 2015 Alexandria VA USA 906\u2013913."},{"key":"e_1_2_9_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/937332.937335"},{"key":"e_1_2_9_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/384169.384173"}],"container-title":["Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/complexity\/2018\/3751917.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/complexity\/2018\/3751917.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2018\/3751917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T00:50:00Z","timestamp":1751503800000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/2018\/3751917"}},"subtitle":[],"editor":[{"given":"Peter","family":"Giesl","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["10.1155\/2018\/3751917"],"URL":"https:\/\/doi.org\/10.1155\/2018\/3751917","archive":["Portico"],"relation":{},"ISSN":["1076-2787","1099-0526"],"issn-type":[{"value":"1076-2787","type":"print"},{"value":"1099-0526","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]},"assertion":[{"value":"2017-09-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-02-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-03-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"3751917"}}