Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 149-168, Springer, 2011. [doi]

This author has not been identified. It may be one of the following persons:

Kees M. van Hee

Look up 'Kees M. van Hee' in GoogleThis author has not been identified. It may be one of the following persons:

Natalia Sidorova

Look up 'Natalia Sidorova' in GoogleThis author has not been identified. Look up 'Jan Martijn E. M. van der Werf' in Google

runs on WebDSL