Skip to Main content Skip to Navigation
Journal articles

Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

Nabil Belala 1 Djamel Eddine Saidouni 1 Radja Boukharrou 1 Ahmed Chawki Chaouche 1, 2 Adel Seraoui 1 Asma Chachoua 1
1 CFSC
MISC - modélisation et implémentation des systèmes complexes
2 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions which have explicit durations. The authors give an operational semantics for DTPN in terms of Durational Action Timed Automata (DATA). DTPN considers both timing constraints and durations under a true-concurrency semantics with an aim of better expressing concurrent and parallel behaviours of real-time systems.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00879178
Contributor : Ahmed Chawki Chaouche <>
Submitted on : Sunday, February 12, 2017 - 9:41:52 PM
Last modification on : Thursday, April 9, 2020 - 2:06:04 PM
Long-term archiving on: : Saturday, May 13, 2017 - 12:21:12 PM

File

Article-final.pdf
Files produced by the author(s)

Identifiers

Citation

Nabil Belala, Djamel Eddine Saidouni, Radja Boukharrou, Ahmed Chawki Chaouche, Adel Seraoui, et al.. Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems, IGI Global, 2013, 4 (2), pp.62-83. ⟨10.4018/jertcs.2013040104⟩. ⟨hal-00879178⟩

Share

Metrics

Record views

410

Files downloads

450