By Topic

Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Neto, P.F.R. ; Departamento de Matematica e Estatistica, Univ. do Estado do Rio Grande do Norte, Brazil ; Perkusich, A. ; Perkusich, M.L.B. ; Turnell, M.F.Q.V.

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

Published in:

Systems, Man, and Cybernetics, 2001 IEEE International Conference on  (Volume:4 )

Date of Conference:

2001