Lime, D.

• Berthomieu, Bernard; Lime, Didier; Roux, Olivier H.; Vernadat, Francois:
  Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. 2007.

• Lime, Didier; Roux, Olivier H.:
  Model Checking of Time Petri Nets Using the State Class Timed Automaton. 2006.

• Berthomieu, Bernard; Lime, Didier; Roux, Olivier (H.); Vernadat, Francois:
  Problèmes d'accessibilité et Espaces d'états abstraits des réseaux de Petri Temporels à Chronomètres. 2005.

• Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O.H.:
  Comparison of Different Semantics for Time Petri Nets. 2005.

• Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.):
  Romeo: A Tool for Analyzing Time Petri Nets. 2005.

• Berard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier:
  When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. 2005.

• Berard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier:
  Comparison of the Expressiveness of Timed Automata and Time Petri Nets. 2005.

• Berard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O.H.:
  Comparison of Different Semantics for Time Petri Nets. 2005.

• Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.):
  Romeo: A Tool for Analyzing time Petri nets. 2005.

• Magnin, Morgan; Lime, Didier; Roux, Olivier (H.):
  An efficient method for computing exact state space of Petri nets with stopwatches. 2005.

• Lime, Didier; Roux, Olivier (H.):
  A translation based method for the timed analysis of scheduling extended time Petri nets. 2004.

• Roux, Olivier H.; Lime, Didier:
  Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. 2004.

• Lime, Didier; Roux, Olivier H.:
  State class Timed Automaton of a Time Petri Net. 2003.

• Lime, Didier; Roux, Olivier H.:
  Expressiveness and analysis of scheduling extended time Petri nets. 2003.

Back to the Petri Nets Bibliography