On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
By: Ben Li, Manel Khlif-Bouassida and Armand Toguyéni
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:
Related subjects:
© 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.