Do Petri Nets Provide the Right Representational Bias for Process Mining?
The Application of Petri Nets to Workflow Management