Symbolic Unfolding of Parametric Stopwatch Petri Nets

Abstract : 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.
Type de document :
Article dans une revue
Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. 〈10.1007/s10703-013-0188-2〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00840368
Contributeur : Claude Jard <>
Soumis le : mardi 2 juillet 2013 - 12:44:44
Dernière modification le : mardi 21 novembre 2017 - 15:22:28
Document(s) archivé(s) le : mercredi 5 avril 2017 - 06:05:38

Fichier

fmsd.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Claude Jard, Didier Lime, Olivier Henri Roux, Louis-Marie Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. 〈10.1007/s10703-013-0188-2〉. 〈hal-00840368〉

Partager

Métriques

Consultations de la notice

1128

Téléchargements de fichiers

153