K-diagnosability of labeled Petri nets

Résumé : Dans cet article, nous présentons une approche qui permet de résoudre le problème de la K-diagnosticabilité des réseaux de Petri (RdP) synchronisés et bornés. Tout d'abord, nous introduisons deux nouveaux concepts : la matrice d'incidence étendue qui intègre les informations relatives aux affectations des événements aux transitions, et le marquage étendu ainsi que l'équation d'état étendue, qui permet de transcrire le nombre d'occurrences de chaque événement depuis l'état initial, jusqu'à un certain marquage étendu cible. Sur la base de ces concepts, nous élaborons un nouvel algorithme d'analyse, à la volée, de la K-diagnosticabilité des RdP synchronisés partiellement observables. L'algorithme développé se base sur des procédures récursives et ne nécessite pas une construction a priori du graphe de marquage ni d'un diagnostiqueur.
Type de document :
Communication dans un congrès
Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 2012
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00780283
Contributeur : Nicolas Gouvy <>
Soumis le : mercredi 23 janvier 2013 - 16:17:20
Dernière modification le : jeudi 11 janvier 2018 - 06:26:19
Document(s) archivé(s) le : mercredi 24 avril 2013 - 03:57:46

Fichier

majecstic2012_submission_9.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00780283, version 1

Collections

Citation

Baisi Liu, Mohamed Ghazel, Armand Toguyeni. K-diagnosability of labeled Petri nets. Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 2012. 〈hal-00780283〉

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

193