Realising Dead Path Elimination in BPMN

by Matthias Weidlich, Er Grosskopf, Alistair Barros