Publié le : 2014-01-01
EUDML-ID :
urn:eudml:doc:262331
@article{bwmeta1.element.bwnjournal-article-amcv24z4p931bwm,
author = {Julio Clempner},
title = {An analytical method for well-formed workflow/Petri net verification of classical soundness},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {24},
year = {2014},
pages = {931-939},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv24z4p931bwm}
}
Julio Clempner. An analytical method for well-formed workflow/Petri net verification of classical soundness. International Journal of Applied Mathematics and Computer Science, Tome 24 (2014) pp. 931-939. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv24z4p931bwm/