Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets
Pedro Fernandes Ribeiro Neto, Ângelo Perkusich, Maria Ligia B. Perkusich, M.F.Q.V. Turnell · 2002
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.