Abstract FR:

L'etude propose une expansion de sadt, qui consiste en l'adjonction d'un formalisme permettant d'associer des caracteristiques dynamiques au modele. Cette formalisation permet la transformation systematique d'un modele d'acbigramme en un autre modele, formel, adapte a l'etude de proprietes statiques et dynamiques. Ce modele est defini a partir d'un reseau de petri, d'un environnement abstrait et d'un ensemble de parametres de liaison entre le reseau et l'environnement associe. Il est utilise comme reference pour la construction de modeles de simulation et notamment l'etude du comportement dynamique et temporel des systemes modelises