Planning Databases Service Level Agreements through Stochastic Petri Nets. - Marcelo Teixeira; Pablo Sabadin Chaves (J. Inf. Data Manag., 2011)