Evaluation à la volée de la diagnosticabilité des systèmes à événements discrets temporisés

Cet article s’interesse a la diagnosticabilite des systemes a evenements discrets temporises. Le formalisme de modelisation utilise est le reseau de Petri T-temporel et labellise (RdP-LT). C’est une extension des RdP temporels pour laquelle a chaque transition est associe un evenement qui peut etre observable ou non. Nous proposons une approche pour verifier la diagnosticabilite et nous fournissons une solution pour calculer le delai minimum...