Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets | IEEE Conference Publication | IEEE Xplore