Title :
Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets
Author :
Neto, Pedro Fernandes R ; Perkusich, Angelo ; Perkusich, Maria L B ; Turnell, Maria E Q V
Author_Institution :
Departamento de Matematica e Estatistica, Univ. do Estado do Rio Grande do Norte, Brazil
Abstract :
We deal with the analysis of semantic concurrency control as well as the scheduling of periodic transactions with hard deadlines for real-time databases (RTBD). A coloured Petri net based method as well as analytical techniques are adopted. The resulting model allows the behavioral analysis taking into account the semantic concurrency control for an effective RTDB application. Also, we define the valid schedules satisfying data and periodic transaction logical and temporal restrictions
Keywords :
Petri nets; concurrency control; database management systems; database theory; real-time systems; coloured Petri net; database management systems; periodic transaction; real time databases; scheduling; semantic concurrency control; Concurrency control; Database systems; Petri nets; Production facilities; Real time systems; Resource management; Technology management; Telephony; Timing; Transaction databases;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.972978
