Patient Flow Modeling and Optimal Staffing for Emergency Departments: A Petri Net Approach | IEEE Journals & Magazine | IEEE Xplore