For the most recent entries see the
Petri Nets Newsletter.
Roux, O.H.
-
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, 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.
-
Cassez, Franck;
Roux, Olivier (H.):
Structural Translation from Time Petri Nets to Timed Automata.
2004.
-
Cassez, Franck;
Roux, Olivier (H.):
Structural Translation from Time Petri Nets to Timed Automata.
2004.
-
Roux, Olivier H.;
Lime, Didier:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
2004.
-
Cassez, Franck;
Roux, Olivier (H.):
Traduction structurelle des réseaux de Petri temporels vers les automates temporisés.
2003.
-
Gardey, G.;
Roux, O. H.;
Roux, O. F.:
A zone-based method for Computing the State Space of a Time Petri Net.
2003.
-
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.
-
Roux, O.H.;
Deplanche, A.M.:
A T-time Petri Net Extension for Real-time Task Scheduling Modelling.
2002.
-
Roux, O.H.;
Delfieu, D.;
Molinaro, P.:
Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis.
2001.
-
Roux, O.H.;
Delfieu, D.;
Molinaro, P.:
Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis.
2001.
-
Roux, O.H.;
Deplanche, A.M.:
Extension des réseaux de Petri T-temporels pour la modélisation de l'ordonnancement de tâches temps réel.
2001.
-
Delfieu, D.;
Molinaro, P.;
Roux, O.H.:
Analyzing Temporal Constraints with Binary Decision Diagrams.
2000.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography