Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Maria Ligia B. Perkusich, Maria de F. Q. V. Turnell. Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. pages 2723-2728, IEEE, 2001. [doi]
Abstract is missing.