On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

Ben Li; Baisi Liu; Armand Toguyeńi

doi:10.1016/j.ifacol.2015.09.548

Article Dans Une Revue IFAC-PapersOnLine Année : 2015

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

(1) , (2) ,

1
2

Ben Li

Fonction : Auteur
PersonId : 775519
ORCID : 0000-0002-0997-4907

PRES Université Lille Nord de France

Baisi Liu

Fonction : Auteur
PersonId : 935805

Université de Lille, Sciences et Technologies

Armand Toguyeńi

Fonction : Auteur

Domaines

Automatique

Armand Toguyeni : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01740384

Soumis le : mercredi 21 mars 2018-22:22:49

Dernière modification le : mercredi 17 novembre 2021-12:08:11

Dates et versions

hal-01740384 , version 1 (21-03-2018)

Identifiants

HAL Id : hal-01740384 , version 1
DOI : 10.1016/j.ifacol.2015.09.548

Citer

Ben Li, Baisi Liu, Armand Toguyeńi. On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations. IFAC-PapersOnLine, 2015, 48 (21), pp.326 - 331. ⟨10.1016/j.ifacol.2015.09.548⟩. ⟨hal-01740384⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CRISTAL

70 Consultations

0 Téléchargements

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager