%0 Journal Article
%A Clempner, J.
%T An analytical method for well-formed workflow/Petri net verification of classical soundness
%J International Journal of Applied Mathematics and Computer Science
%D 2014
%P 931-939
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2014_24_4_a16/
%G en
%F IJAMCS_2014_24_4_a16