AFSEC

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

  • 12h30 – 14h00: repas

    après-midi

  • 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, …

Leave a Reply

You must be logged in to post a comment.