Title :

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

Author(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]

Journal title :

International Journal of Applied Mathematics and Computer Science

Pages :

269-281

Publisher :

University of Zielona Góra

Publication date :

2018-06-01

ISSN :

1641-876X

HAL domain(s) :

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

Language :

Anglais

Popular science :

Non

Collections :

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

Source :

Harvested from HAL