Analyze Process Models

Analyze process models on a formal level, detect structural defects, derive execution traces and proof models for soundness criteria.

Exercise 1: Execution Traces

A given model exposes a complex structure. Derive execution traces.

Download the exercise: doc pdf

Exercise 2: Insurance Emergency

A given model describes steps regarding insurance issues, when a patient needs emergency help.

Questions contain:
  1. What are the allowed execution traces (e.g. sequences of tasks)?
  2. Is there a deadlock? If so, suggest a resolved model.

Download the exercise: doc pdf