The following publications are possibly variants of this publication:
- 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 NetsLouis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. ATVA 2010: 291-305 [doi]
- Symbolic unfolding of parametric stopwatch Petri netsClaude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez. fmsd, 43(3):493-519, 2013. [doi]
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class GraphLouis-Marie Traonouez, Didier Lime, Olivier H. Roux. formats 2008: 280-294 [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]
- Romeo: A Tool for Analyzing Time Petri NetsGuillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux. cav 2005: 418-423 [doi]
- 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]
- An Efficient Method for Computing Exact State Space of Petri Nets With StopwatchesMorgan Magnin, Didier Lime, Olivier H. Roux. ENTCS, 144(3):59-77, 2006. [doi]