The following publications are possibly variants of this publication:
- 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]
- 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]
- Abstract State Spaces for Time Petri Nets AnalysisBernard Berthomieu, Florent Peres, François Vernadat. isorc 2008: 298-304 [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]
- 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]