Séminaires
Séminaire du 02 Décembre 2005
Lieu
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.