Teixeira, M.; Chaves, P. S. Planning Databases Service Level Agreements through Stochastic Petri Nets. JIDM 2011, 2, 369.