by Hee, K.M. van and Sidorova, N.
Reference:
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved! (Hee, K.M. van and Sidorova, N.), Technical report 11-01, Technische Universiteit Eindhoven, 2011.
Bibtex Entry:
@TECHREPORT{csr-11-01, AUTHOR = {Hee, {K.M. van} and Sidorova, {N.} and Werf, {J.M.E.M. van der}}, TITLE = {Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!}, INSTITUTION = {Technische Universiteit Eindhoven}, YEAR = {2011}, type = {Computer Science Report}, number = {11-01}, pages = {21}, }
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!