000145248 001__ 145248
000145248 005__ 20241015122513.0
000145248 0247_ $$2doi$$a10.1002/spe.3374
000145248 0248_ $$2sideral$$a140010
000145248 037__ $$aART-2024-140010
000145248 041__ $$aeng
000145248 100__ $$0(orcid)0000-0003-4457-3938$$aArronategui, Unai$$uUniversidad de Zaragoza
000145248 245__ $$aLarge scale system design aided by modelling and DES simulation: A Petri net approach
000145248 260__ $$c2024
000145248 5060_ $$aAccess copy available to the general public$$fUnrestricted
000145248 5203_ $$aThe study of real discrete event systems requires the use of models to cope with complexity and large scale. The only way to understand and analyse their behaviour prior to implementation is, in practice, through distributed simulation. Although it is a widely studied discipline, the difficulty of developing efficient distributed simulation code remains a challenge. The use of model driven engineering approaches allows a smooth way from informal specifications to executable code showing traces of the system behaviour. Formal models allow to conduct the phases of this engineering process, and in this work, the formalism is Petri nets. In the simulation literature, Petri nets have been shown to be particularly suitable for modelling and simulation of discrete event systems. This article reviews the role of Petri nets as the core formalism to support a model‐driven engineering approach for the execution of large scale models using distributed simulation. It deals with different aspects related to the Petri net‐based languages used at different stages of the modelling and simulation process, from conceptual modelling of complex systems to the generation of code for executing simulations of Petri net‐based models. After the review, the article proposes an efficient representation of Petri net‐based models. It is analysed from the perspective of the essential properties required for distributed simulation, and was found to provide efficient execution, scalability and dynamic configuration. The article highlights the importance of considering modelling constraints in order to guarantee good properties such as liveness and structural boundedness of Petri net components for the execution of large‐scale Petri net models. The Petri net‐based methodology is illustrated from the perspective of the impact of the formalism to help developing well‐formed models and efficient code for distributed simulation.
000145248 536__ $$9info:eu-repo/grantAgreement/ES/DGA-FSE/T35-17D$$9info:eu-repo/grantAgreement/ES/MINECO/PGC2018-099815-B-100
000145248 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/
000145248 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion
000145248 700__ $$0(orcid)0000-0002-4198-8241$$aBañares, José Ángel$$uUniversidad de Zaragoza
000145248 700__ $$0(orcid)0000-0001-5066-4030$$aColom, José Manuel$$uUniversidad de Zaragoza
000145248 7102_ $$15007$$2035$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Arquit.Tecnología Comput.
000145248 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf.
000145248 773__ $$g(2024), [29 pp.]$$pSoftw. pract. exp.$$tSOFTWARE-PRACTICE & EXPERIENCE$$x0038-0644
000145248 8564_ $$s16563551$$uhttps://zaguan.unizar.es/record/145248/files/texto_completo.pdf$$yVersión publicada
000145248 8564_ $$s2080723$$uhttps://zaguan.unizar.es/record/145248/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada
000145248 909CO $$ooai:zaguan.unizar.es:145248$$particulos$$pdriver
000145248 951__ $$a2024-10-15-10:50:46
000145248 980__ $$aARTICLE