Modelling hybrid systems by high-level Petri nets

Cet article presente un modele hybride base sur un formalisme qui allie les concepts de reseaux de Petri de haut niveau et de reseaux continus. Le modele peut representer des discontinuites dans l'espace d'etat et des commutations de modes de fonctionnement, qu'ils soient autonomes et controles. Plusieurs notions classiques concernant les reseaux de Petri, tels que le vecteur de franchissemnt et la matrice d'incidence, peuvent etre generalisees a ce modele. Ces notions sont employees pour definir l'equation d'evolution et construire le graphe d'evolution correspondant. On presente un exemple de systeme avec discontinuites.