Business Process Scheduling with Resource Availability Constraints · Study