Title :
Mapping between Petri nets and DEVS models
Author :
Boukelkoul, Sofiane ; Redjimi, M.
Author_Institution :
Dept. d´Inf., Univ. du 20 Aout 1955, Skikda, Algeria
Abstract :
Complex systems have many aspects to be modeled. So it is necessary to implement mechanisms to allow coupling and coexisting of heterogeneous formalism models. Transformation of that kind of models to a pivotal model is a technique within this context. This paper proposes a Petri nets translation approach to DEVS <;<; Discrete Event System Specification >> models. It is an algorithm permitting to systematically transform places and transitions to atomic DEVS models. Coupling those models generates a coupled DEVS model as well, which is able to be run on DEVS based platforms, taking advantage of that formalism power related to hierarchical and coupled models.
Keywords :
Petri nets; discrete event systems; formal verification; DEVS models; Petri nets translation approach; complex systems; discrete event system specification; heterogeneous formalism models; pivotal model; Couplings; Firing; Integrated circuit modeling; Mathematical model; Parallel processing; Petri nets; Ports (Computers); Coupling model; DEVS; Modeling and Simulation; Multi-modeling; Petri Nets;
Conference_Titel :
Information Technology and e-Services (ICITeS), 2013 3rd International Conference on
Conference_Location :
Sousse
Print_ISBN :
978-1-4799-0131-9
DOI :
10.1109/ICITeS.2013.6624067