• DocumentCode
    3407678
  • 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
  • fYear
    2013
  • fDate
    24-26 March 2013
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Technology and e-Services (ICITeS), 2013 3rd International Conference on
  • Conference_Location
    Sousse
  • Print_ISBN
    978-1-4799-0131-9
  • Type

    conf

  • DOI
    10.1109/ICITeS.2013.6624067
  • Filename
    6624067