Ait Oumeziane FatimaAbdmeziem AbdelkaderKara Redouane2019-11-122019-11-122018Automatique Et Informatique IndustriellesMAST.AUTO.03-18https://dspace.ummto.dz/handle/ummto/739792 f. : ill. ; 30 cm. (+ CD-Rom)Les travaux abordés dans ce manuscrit cpncernent la modélisation des systèmes à évènements discrets à l'aide d'automatestemporisés avec gardes (ATGs ) en utilisant l'algèbre des dioïdes. Nous proposons des représentations alternatives pour les ATGs. Celles-ci traduisent l'évolution des automates de façon approximative, car seul leurs comportements extrémaux sont décrits, mais il est escompté de pouvoir résoudre à l'aide de celles-ci des problèmes importants. Plus exactement, des aquations récursives ont été définies dans l'algèbre (max, +) et l'algèbre (min,+) afin de décrire les comportements pire-cas et meilleur-cas des automates temporisés avec gardes.frAutomates temporisésAlgèbre des dioïdesLangagesRéseau de petriDioïdes.Thesis