The following publications are possibly variants of this publication:
- Reachability Problems and Abstract State Spaces for Time Petri Nets with StopwatchesBernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat. deds, 17(2):133-158, 2007. [doi]
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)Morgan Magnin, Didier Lime, Olivier H. Roux. apn 2008: 307-326 [doi]
- Romeo: A Parametric Model-Checker for Petri Nets with StopwatchesDidier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez. TACAS 2009: 54-57 [doi]
- Symbolic Unfolding of Parametric Stopwatch Petri NetsLouis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. ATVA 2010: 291-305 [doi]
- Parametric Model-Checking of Stopwatch Petri NetsLouis-Marie Traonouez, Didier Lime, Olivier H. Roux. jucs, 15(17):3273-3304, 2009. [doi]
- Symbolic unfolding of parametric stopwatch Petri netsClaude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez. fmsd, 43(3):493-519, 2013. [doi]
- Expressiveness of Petri Nets with Stopwatches. Dense-time PartMorgan Magnin, Pierre Molinaro, Olivier H. Roux. FUIN, 97(1-2):111-138, 2009. [doi]
- Expressiveness of Petri Nets with Stopwatches. Discrete-time PartMorgan Magnin, Pierre Molinaro, Olivier H. Roux. FUIN, 97(1-2):139-176, 2009. [doi]