The following publications are possibly variants of this publication:
- Verifying Generalized Soundness of Workflow NetsKees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve. ershov 2007: 235-247 [doi]
- Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying ConceptualNatalia Sidorova, Christian Stahl, Nikola Trcka. caise 2010: 530-544 [doi]
- Generalised Soundness of Workflow Nets Is DecidableKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. apn 2004: 197-215 [doi]
- Soundness of Resource-Constrained Workflow NetsKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. apn 2005: 250-267 [doi]
- Soundness of Workflow Nets with Reset ArcsWil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn. topnoc, 3:50-70, 2009. [doi]