ing Common Business Rules to Petri Nets ............................ 111 Kees van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, and Philippe Thiran Towards Robust Conformance Checking ........................................... 113 Arya Adriansyah, Boudewijn van Dongen, and Wil van der Aalst 5th SIKS/BENAIS Conference on Enterprise Information Systems