Skip to Main content Skip to Navigation
Conference papers

Codage de CDEVS et de PDEVS en réseau de Petri temporisé

Vincent Albert 1 Sangeeth Saagar Ponnusamy 1 
1 LAAS-ISI - Équipe Ingénierie Système et Intégration
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This paper presents an encoding of CDEVS (Clas-sic Discrete-EVent Specification) and PDEVS (Parallel Discrete-EVent Specification) semantics in TPN (Timed Petri Nets) with priorities and data handling. This encoding is a formal specification of the execution semantics for our simulation tool. From a Timed Petri Net based model resulting from an automatic transformation of a DEVS model designed in ProDEVS, we perform an exhaustive exploration of the model. We show how to check formal verification simulation properties related to the correctness of the model : is it well built and legitimate for all its potential uses ? Will be properly executed by the simulator.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Vincent ALBERT Connect in order to contact the contributor
Submitted on : Monday, November 5, 2018 - 2:51:08 PM
Last modification on : Monday, July 4, 2022 - 9:17:32 AM
Long-term archiving on: : Wednesday, February 6, 2019 - 3:04:12 PM


Files produced by the author(s)


  • HAL Id : hal-01912563, version 1


Vincent Albert, Sangeeth Saagar Ponnusamy. Codage de CDEVS et de PDEVS en réseau de Petri temporisé. JDF 2016 - Les Journées DEVS Francophones, Apr 2016, Cargèse, France. 9p. ⟨hal-01912563⟩



Record views


Files downloads