Queue Mining: Service Perspectives in Process Mining
Mining Resource Scheduling Protocols