In many service delivery systems, the quantity of available resources is often a decisive factor of service quality. Re-sources can be personnel, offices, devices, supplies, and so on, de-pending on the nature of the services a system provides. Al-though service computing has been an active research topic for decades, general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way re-main to be seen. Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and con-currency for almost a half century. Stochastic timed Petri nets (STPN), an extension to regular Petri nets, are a powerful tool for system performance evaluation. However, we did not find any single existing STPN software tool that supports all timed trans-ition firing policies and server types, not to mention resource pro-visioning and requirement analysis. This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery sys-tem quality vs. resource provisioning. The power of the simula-tion system is illustrated by an application to emergency health care systems.
展开▼