On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Applied Mathematics and Computer Science Année : 2018

On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets

Ben Li
Manel Khlif-Bouassida
  • Fonction : Auteur
Armand TOGUYENI
  • Fonction : Auteur correspondant
  • PersonId : 1029656

Connectez-vous pour contacter l'auteur
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Domaines

Automatique / Robotique

Armand Toguyeni  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02063457

Soumis le : lundi 11 mars 2019-11:19:47

Dernière modification le : mercredi 24 janvier 2024-09:54:23

Consulter le texte intégral

Dates et versions

hal-02063457 , version 1 (11-03-2019)

Identifiants

Citer

Ben Li, Manel Khlif-Bouassida, Armand TOGUYENI. On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets. International Journal of Applied Mathematics and Computer Science, 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩. ⟨hal-02063457⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS CRISTAL CRISTAL-MOSES TDS-MACS UNIV-LILLE
46 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More