Soundness and separability of workflow nets in the stepwise refinement approach (2003)

by K M van Hee, N Sidorova, M Voorhoeve
Venue:Applications and Theory of Petri Nets (ICATPN/APN), Lecture Notes in Computer Science