A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection.

Ing-Ray Chen, Rajakumar Betapudi

Browse the full SAC paper archive.