//-->
An engineering tool for the conceptual design of service systems
Karni, Reuven, (2007)
Complementing Business Process Verification by Validity Analysis: A Theoretical and Empirical Evaluation
Soffer, Pnina, (2011)
Assigning Ontological Meaning to Workflow Nets
Soffer, Pnina, (2010)