AFSEC

Journée “dépliages des modèles temporisés”.
Le 03/12/08 à l’ENS Campus de Ker-Lann (Rennes) .
de 10h15 à 17h

3 exposés le matin :
• Dépliage symbolique des réseaux de Petri. Application aux TPN. C. Jard
• Dépliage d’un réseau de Petri temporel par annotations temporelles symboliques. L.M. Traonouez
• Dépliage des réseaux d’automates temporisés. T. Chatain

Travail collectif l’après-midi et discussion sur de nouveaux projets collaboratifs.

This entry was posted on Friday, November 14th, 2008 at 09:11 and is filed under Actions Afsec, Journées. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.