Post and pre-initialized stopwatch Petri Nets

Adib Allahham (1) , Hassane Alla (1)

1 GIPSA-SED - GIPSA - Systèmes à événements discrets

A modeling paradigm called Post and Pre-initialized Stopwatch Petri Nets (SWPN) is introduced. It extends Time Petri Nets TPN to the concept of stopwatch with an original mechanism of stopwatches reset. SWPN makes this reset dependent on the firing of the corresponding transitions. The resulting model permits natural description of so-called preemption-resume behavior. We give the formal semantics of SWPN as a timed transition system.We propose also a method for its analysis consisting in the computation of its equivalent stopwatch automaton SWA. The advantage of Petri Nets for modeling the complex system in concise way is combined with the power analysis of SWA

Mots clés: timing analysis; T-time Petri Net; Stopwatch automata; timing analysis.

Domaines: Automatique

Adib Allahham, Hassane Alla. Post and pre-initialized stopwatch Petri Nets. DCDS 2007 - 1st IFAC Workshop on Dependable Control of Discrete-event Systems, Jun 2007, Cachan, France. pp.69-74. ⟨hal-00157454⟩