Database performance evaluation using Queueing Petri Nets