Real-Time Adaptive Allocation of Emergency Department Resources and Performance Simulation Based on Stochastic Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore