@inproceedings{SAC-1994-ChenB,
	author        = "Ing-Ray Chen and Rajakumar Betapudi",
	booktitle     = "{Proceedings of the Ninth Symposium on Applied Computing}",
	doi           = "10.1145/326619.326934",
	pages         = "539--544",
	publisher     = "{ACM}",
	title         = "{A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection}",
	year          = 1994,
}