Symbolic Unfolding of Parametric Stopwatch Petri Nets - LINA-AELOS Accéder directement au contenu
Article Dans Une Revue Formal Methods in System Design Année : 2013

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Résumé

We address the problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), i.e., safe time Petri nets (TPNs) possibly extended with time parameters and stopwatches. We extend the notion of branching process to account for the dates of the occurrences of events and thus defi ne a symbolic unfolding for PSwPNs. In the case of TPNs we also propose a method based on our so-called time branching processes to compute a fi nite complete pre fix of the symbolic unfolding. The originality of our work relies on a precise handling of direct conflicts between events, and the analysis of their eff ects on the constraints between the fi ring dates of those events.
Fichier principal
Vignette du fichier
fmsd.pdf (393.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00840368 , version 1 (02-07-2013)

Identifiants

Citer

Claude Jard, Didier Lime, Olivier Henri Roux, Louis-Marie Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. Formal Methods in System Design, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩. ⟨hal-00840368⟩
609 Consultations
217 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More