A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. - Ing-Ray Chen; Rajakumar Betapudi (SAC, 1994)