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
2 SMA - Systèmes Multi-Agents

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.

Mots clés: Maximality Semantics; Durational Action Timed Automata (DATA); Actions Duration; Time Petri Nets with Action Duration (DTPN); Real Time Systems

Domaines: Modélisation et simulation; Théorie et langage formel [cs.FL]; Autre [cs.OH]

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, 2013, 4 (2), pp.62-83. ⟨10.4018/jertcs.2013040104⟩. ⟨hal-00879178⟩