%0 Journal Article
%A Li, B.
%A Khlif-Bouassida, M.
%A Toguéyni, A.
%T On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
%J International Journal of Applied Mathematics and Computer Science
%D 2018
%P 269-281
%V 28
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2018_28_2_a2/
%G en
%F IJAMCS_2018_28_2_a2