Journée du groupe RdP : “Modèles du temps réel” (23 mars 2007)
19th February 2007
Journée Modèles du temps réel: Réseaux de Petri temporisés et temporels, automates temporisés
proposée par le groupe francophone Réseaux de Petri,
soutenue par l’action inter-GDR AFSEC du CNRS.
Vendredi 23 mars 2007
CNAM Paris, salle 30.-1.01
(entrée 2, rue Conté, métro Arts et Métiers, Réaumur Sébastopol)
de 09h45 Ã 17h30
Programme
-
matin
- 9h30-10h: accueil
- 10h -11h: Olivier H. Roux (IRCCyN):
Extensions temporelles des r̩seaux de Petri (P, T, A РTime Petri Nets) - 11h -11h45: Benoit Trouillet (LAGIS):
Une approche formelle du comportement temporel d’une classe de réseau de Petri - 11h45-12h30: Samir Hamaci (ISTIA):
Linéarisation de systèmes à événements discrets dans l’algèbre (min,+) –
Application : Evaluation de performances - 14h00-15h00: Serge Haddad (LAMSADE):
Réseaux de Petri temporels et Automates temporisés - 15h00-16h00: François Laroussinie (LSV):
Model checking des SED temporisés - 16h00-16h45: Thomas Bourdeaud’hui(LAGIS):
Diagnostic à l’aide de réseaux de Petri temporels - 16h40-17h15: Mohamed Khalid Didi ALaoui (ISTIA):
Modélisation, classification et analyse des graphes d’événements temporels: vivacité - 17h15-17h45: discussion sur le thème, discussion RdP francophone: journées suivantes, école, …
12h30 – 14h00: repas
après-midi