Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism

TitleModeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism
Publication TypeJournal Article
Year of Publication1985
AuthorsOzsu, T.
JournalIEEE Transactions on Software Engineering (TSE)
Volume11
Issue10
Pagination1225--1240
DOI10.1109/TSE.1985.231870