A Library for Detecting Inconsistencies in Declarative Process Models.

Sabine Nagel, Patrick Delfmann

Browse the full BPM paper archive.