@article {3904,
	title = {Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism},
	journal = {IEEE Transactions on Software Engineering (TSE)},
	volume = {11},
	year = {1985},
	pages = {1225--1240},
	doi = {10.1109/TSE.1985.231870},
	author = {Tamer Ozsu}
}
