AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Journée “dépliages des modèles temporisés”.

14th November 2008

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.

Leave a Reply

You must be logged in to post a comment.