分布式锁的petri网建模及死锁检测

分布式锁管理dlm细化了锁模式的粒度，使得分布式系统具有更高的并发性，但死锁检测等锁的管理过程却更加复杂了，petri网的应用能很好地解决该问题。为分布式锁建立petri网模型，通过化简和合成建立系统的petri网模型，借助petri网的可达标识图实时检测出分布式系统的死锁状态，并查找死锁进程。