|
[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 ]
Dans cet article, nous considérons les réseaux de Petri
t-temporels (RdPT) c'est à dire pour lesquels le temps est associé
aux transitions sous la forme d'un interval. Nous en donnons une
sémantique formelle en terme de systèmes de transitions temporisés.
Nous proposons ensuite une traduction structurelle des RdPTs en un
produit synchronisé d'automates temporisés (ATs) qui préserve la
sémantique comportementale (bisimilarité temporelle) des RdPTs. Les
conséquences théoriques de ce résultat sont: i) les problémes
d'accessibilité et plus généralement de model-checking de TCTL sont
décidables pour les RdPTs bornés; ii) il est possible d'étendre les
RdPTs en considérant des contraintes temporelles strictes sur les
transitions en préservant les résultats décrits plus haut en i).
D'un point de vue pratique, les conséquences sont doubles: i) on
peut spécifier un système à l'aide de RdPTs et d'automates
temporisés et en donner une sémantique facilement; ii) les outils
disponibles pour l'analyse des automates temporisés (comme
KRONOS ou UPPAAL ou CMC) peuvent être
utilisés pour la vérification de RdPTs.
|
|
[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 ]
|