Publication | Closed Access

Conformance checking and performance improvement in scheduled processes: A queueing-network perspective

Queueing-network PerspectiveEngineeringVerificationPerformance ModelingFormal MethodsConcurrency TheorySystems EngineeringScheduling (Computing)Conformance CheckingComputer ScienceFormal VerificationQueueing TheoryScheduled ProcessesOperations Research