Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs. - Ayse Nur Acar; Klaus Werner Schmidt (CASE, 2015)