@article{IJAMCS_2018_28_2_a2,
     author = {Li, B. and Khlif-Bouassida, M. and Togu\'eyni, A.},
     title = {On-the-fly diagnosability analysis of bounded and unbounded labeled {Petri} nets using verifier nets},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {269--281},
     publisher = {mathdoc},
     volume = {28},
     number = {2},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IJAMCS_2018_28_2_a2/}
}