TY  - JOUR
AU  - Clempner, J.
TI  - An analytical method for well-formed workflow/Petri net verification of classical soundness
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2014
SP  - 931
EP  - 939
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2014_24_4_a16/
LA  - en
ID  - IJAMCS_2014_24_4_a16
ER  -