Mapping between Petri nets and DEVS models

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.