Conformance checking and performance improvement in scheduled processes: A queueing-network perspective. (December 2016)