Abstract
Petri net modeling and performance analysis of an emergency medical services system (EMS) were conducted. Ordinary Petri net models were constructed to analyze such systems properties as deadlock freeness, resource boundedness, and reversibility. Temporal Petri models, meanwhile, were used to derive system performance indices such as the effect of patient load on waiting time, effect of doctor availability on waiting time and doctor utilization. The approaches presented can provide for hospital capacity planning, efficiency improvement and the study of the static and dynamic flow of hospital information.