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

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
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

© 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.