Instead of using the built-in resource management (implied by using the successorActivity property implementing Rescource-Dependent Activity Start arrows), the resource management of doctors is explicitly modeled. The process owner, a medical department, is modeled explicitly with a queue-valued property plannedExaminations and a counter attribute nmrOfAvailDoctors for representing the count pool information of how many doctors are available.
In Medical-Department-1b, the same model is implemented with the
built-in resource management by setting a successor activity with NewCase.successorActivity = "Examination".