Compte rendu de la réunion du 23 octobre 2008
26th October 2008
Réunion du 23 octobre 2008 sur les “Structures de données pour l’analyse des Réseaux de Petri?
Exposé le matin et table ronde l’après midi pour des travaux communs LIP6/IRCCyN/IRISA.
Transparents des présentations :
- Hierarchical Set Decision Diagrams & Applications par Yann Thierry Mieg (LIP6)
- A la recherche de méthodes efficaces pour la vérification de réseaux de Petri à chronomètres en temps discret par Morgan Magnin (IRCCyN – MOVES)