Business Process Management: A Comprehensive Survey

Figure 1

A process model expressed in terms of a Petri net and an event log with some example traces.