A model in Petri Nets to analyze quality of service in real-time databases | IEEE Conference Publication | IEEE Xplore