Patient Flow Congestion Control Based on Stochastic Timed Petri Net Model | IEEE Conference Publication | IEEE Xplore