The relationship between workflow graphs and free-choice workflow nets
Business Process Verification- Finally a Reality!