Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking

this paper, we eliminate these potential problems. Our goal is to develop an analytical tool rather than a simulation tool that can help choosing the correct deadlock detection approach for 2PL systems with dynamic locking (where locks are requested on demand), when given a set of system characteristic