Have a personal or library account? Click to login
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets Cover

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

International Journal of Applied Mathematics and Computer Science
Volume 28 (2018): Issue 2 (June 2018)
By: Ben Li,  Manel Khlif-Bouassida and  Armand Toguyéni  
Open Access
|Jun 2018

Authors

Ben Li

ben.li@centralelille.fr

Centrale Lille, 59650, Villeneuve d’Ascq, France

Manel Khlif-Bouassida

manel.khlif-bouassida@centralelille.fr

Cristal, UMR 9189 Centrale Lille, 59650, Villeneuve d’Ascq, France

Armand Toguyéni

armand.toguyeni@centralelille.fr

Cristal, UMR 9189 Centrale Lille, 59650, Villeneuve d’Ascq, France
DOI: https://doi.org/10.2478/amcs-2018-0019 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 269 - 281
Submitted on: Mar 15, 2017
Accepted on: Jan 29, 2018
Published on: Jun 29, 2018
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
fault diagnosis,
discrete event systems,
labeled Petri nets,
on-the-fly diagnosability analysis,
verifier nets
Related subjects:
Mathematics,
Applied mathematics

© 2018 Ben Li, Manel Khlif-Bouassida, Armand Toguyéni, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 28 (2018): Issue 2 (June 2018)Next article