petri net transformations for business processes - a survey .
The Application of Petri Nets to Workflow Management