Tag: Patient care service delivery system using timed coloured petri nets.