The following publications are possibly variants of this publication:
- Symbolic Unfolding of Parametric Stopwatch Petri NetsLouis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. ATVA 2010: 291-305 [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]
- Parametric Model-Checking of Stopwatch Petri NetsLouis-Marie Traonouez, Didier Lime, Olivier H. Roux. jucs, 15(17):3273-3304, 2009. [doi]
- Diagnosis Using Unfoldings of Parametric Time Petri NetsBartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. formats 2010: 137-151 [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]
- 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]
- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri NetsThomas Chatain, Claude Jard. formats 2005: 196-210 [doi]
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri NetsThomas Chatain, Claude Jard. apn 2006: 125-145 [doi]