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.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [29 references]  Display  Hide  Download
Contributor : Claude Jard <>
Submitted on : Tuesday, July 2, 2013 - 12:44:44 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM
Document(s) archivé(s) le : Wednesday, April 5, 2017 - 6:05:38 AM


Files produced by the author(s)



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⟩



Record views


Files downloads