M. Teixeira and P. S. Chaves, “Planning Databases Service Level Agreements through Stochastic Petri Nets”, JIDM, vol. 2, no. 3, p. 369, Oct. 2011.