Discovery and Simulation of Business Processes with Probabilistic Resource Availability Calendars · Study