Modélisation discrète et formelle des exigences temporelles pour la ...
temporelles des réseaux de Petri en fonction du contexte de modélisation; ......
principal concurrent, le livre blanc [White paper01] a soulevé des lacunes en ......
l'analyse et la simulation grâce à l'outil logiciel TINA [Berthomieu et al.03].
Un extrait du document