Modeling and simulation of a hybrid system through PR/TR PN-DAE model

Cet article traite la modelisation et la simulation d'une unite de stockage de gaz. Le modele est base sur la combinaison de reseaux de Petri et d'equations algebro-differencielles. L'interaction entre les RdP Pr/Tr et les equations est formellement definie a l'aide des fonctions de sensibilisation et de jonction qui sont associees aux transitions du RdP Pr/Tr. Apres avoir introduit la technique de modelisation a travers l'exemple de l'unite de stockage de gaz, un algorithme de simulation sera presente.