Mtibaa, Tagina, 2012. Timing Constraints Support on Petri-Net Model for Healthcare System Design.