Natalia Sidorova, Christian Stahl, Nikola Trcka. Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst., 36(7):1026-1043, 2011. [doi]
@article{SidorovaST11,
title = {Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible},
author = {Natalia Sidorova and Christian Stahl and Nikola Trcka},
year = {2011},
doi = {10.1016/j.is.2011.04.004},
url = {http://dx.doi.org/10.1016/j.is.2011.04.004},
tags = {workflow},
researchr = {https://researchr.org/publication/SidorovaST11},
cites = {0},
citedby = {0},
journal = {Inf. Syst.},
volume = {36},
number = {7},
pages = {1026-1043},
}