a) Which of the following Workflow Patterns (see http://workflowpatterns.com/) are directly supported in EPC and BPMN? If yes, through which constructs?
Synchronization (XOR-join)
Multi-Choice (OR-split)
Multiple Instances with a-priori runtime knowledge
Explicit termination
b) How can EPC and BPMN processes be checked for correctness (e.g. absence of deadlocks)?
More information on EPC and BPMN can be found in the book in chapters 4.3 and 4.7, respectively.