selected publications chapter Deadlock-Freeness Verification of Business Process Configuration Using SOG. Lecture notes in computer science. 96-112. 2017