An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets

Domaines

Informatique [cs] Automatique / Robotique
Fichier principal
Vignette du fichier
Paru_WODES-0029_FI.pdf (508.37 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence
Paternité - Pas d'utilisation commerciale - Pas de modification

Mohamed Ghazel  : Connectez-vous pour contacter le contributeur

https://univ-eiffel.hal.science/hal-04578239

Soumis le : jeudi 6 juin 2024-17:06:12

Dernière modification le : jeudi 12 septembre 2024-16:45:22

Télécharger pour visualiser

Dates et versions

hal-04578239 , version 1 (16-05-2024)
hal-04578239 , version 2 (06-06-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-04578239 , version 2

Citer

Amira Chouchane, Mohamed Ghazel. An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets. WODES'2024 - 17th IFAC Workshop on Discrete Event Systems, Apr 2024, Rio de Janeiro, Brazil. ⟨hal-04578239v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFSTTAR TDS-MACS UNIV-EIFFEL
22 Consultations
46 Téléchargements

Partager

More