Connectivity of workflow nets: the foundations of stepwise verification
Artem Polyvyanyy, Matthias Weidlich, Mathias WeskeVolume:
48
Language:
english
Pages:
30
DOI:
10.1007/s00236-011-0137-8
Date:
July, 2011
File:
PDF, 971 KB
english, 2011