[1]	Johan Girault, Jean-Jacques Loiseau, and Olivier H. Roux. Synthèse en ligne de superviseur compositionnel pour flotte de robots mobiles. In 9ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'13), Rennes, France, November 2013. [ bib ]
[2]	Didier Lime, Claude Martinez, and Olivier H. Roux. Coercition temporelle de réseaux de Petri. In 8ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'11), Lille, France, November 2011. [ bib ]
[3]	Hanifa Boucheneb, Hind Rakay, and Olivier H. Roux. Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte. In 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'07), Lyon, France, October 2007. [ bib ]
[4]	Louis-Maire Traonouez, David Delfieu, and Olivier H. Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés. In 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'07), Lyon, France, October 2007. [ bib ]
[5]	Charlotte Seidner, Jean-Philippe Lerat, Olivier H. Roux, and Morgan Magnin. Vérification dynamique et formelle d'un système décrit par son architecture fonctionnelle à l'aide de réseaux de Petri temporels : promesses et perspectives. In 4th AFIS National Conference, Toulouse, France, May 2006. [ bib ]
[6]	Bernard Berthomieu, Didier Lime, Olivier H. Roux, and Francois Vernadat. Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres. In 5ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'05), Grenoble, France, October 2005. [ bib ]
[7]	Franck Cassez and Olivier H. Roux. Traduction structurelle des réseaux de Petri temporels vers les automates temporisés. In 4ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'03), Metz, France, October 2003. Copyright Hermes-Science. [ bib | Abstract ]
[8]	Olivier H. Roux and Anne-Marie Déplanche. Extension des réseaux de Petri t-temporels pour la modélisation de l'ordonnancement de tâches temps-réel. In 3ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR'01), pages 327-342, Toulouse, France, October 2001. Hermes Science. Copyright Hermes-Science. [ bib ]