Séminaire du 02 Décembre 2005

Lieu

ENST

Programme

14h00-14h45: Alban Linard (LIP6): « Dépliage efficace de réseaux de Petri Colorés »

Abstract: certaines propriétés structurelles ne pouvant être vérifiées que sur des réseaux Place/Transition, le dépliage des réseaux de Petri colorés est utile. Cependant, cette opération peut générer des réseaux dépliés gigantesques, ne pouvant pas être stockés concrètement en mémoire. Dans certains cas, la suppression des parties mortes de ces réseaux peut dramatiquement réduire leur taille, mais cette opération nécessite une représentation du réseau déplié. Nous avons utilisé une représentation symbolique du réseau déplié, utilisant des Data Decision Diagram, dans un outil de dépliage optimisant le réseau déplié. Elle permet de manipuler de très grands modèles dépliés et de leur appliquer diverses optimisations afin de réduire leur taille pour qu'une représentation concrète en mémoire soit possible.

14h45-15h15 : Christophe PAJAULT (CEDRIC) : « Méthodes de vérification parallèle de systèmes concurrents »

15h30-16h00: pause café

16h00-16h30: vie du groupe