@inproceedings {4827,
	title = {Modeling of Distributed Database Concurrency Control Mechanisms Using An Extended Petri Net Formalism},
	booktitle = {IEEE International Conference on Distributed Computing Systems (ICDCS)},
	year = {1982},
	author = {Tamer Ozsu and Bruce W. Weide}
}
