105
Voted
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...