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

Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Maria Ligia B. Perkusich, Maria de F. Q. V. Turnell

Browse the full SMC paper archive.