Titre :

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

Auteur(s) :

Li, Ben [Auteur]
Khlif-Bouassida, Manel [Auteur]
Toguyeni, Armand [Auteur correspondant]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]

Titre de la revue :

International Journal of Applied Mathematics and Computer Science

Pagination :

269-281

Éditeur :

University of Zielona Góra

Date de publication :

2018-06-01

ISSN :

1641-876X

Discipline(s) HAL :

Sciences de l'ingénieur [physics]/Automatique / Robotique

Langue :

Anglais

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL