Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism | IEEE Journals & Magazine | IEEE Xplore