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

https://hal.laas.fr/hal-01912563
Contributor : Vincent Albert <>
Submitted on : Monday, November 5, 2018 - 2:51:08 PM
Last modification on : Thursday, June 10, 2021 - 3:01:26 AM
Long-term archiving on: : Wednesday, February 6, 2019 - 3:04:12 PM

File

JDF2016_paper_8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01912563, version 1

Citation

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⟩

Share

Metrics

Record views

99

Files downloads

61