Dynamic probe based strategy for deadlock prevention in distributed systems
The number of SMS in a petri net grows exponentially with respect to the size of net model. Most of the strategies of deadlock prevention based on SMS suffer from computational complexity problems.