%0 Journal Article
%T 分布式锁的petri网建模及死锁检测
%A 金红琳
%A 刘波？
%J 计算机科学
%D 2011
%X 分布式锁管理dlm细化了锁模式的粒度，使得分布式系统具有更高的并发性，但死锁检测等锁的管理过程却更加复杂了，petri网的应用能很好地解决该问题。为分布式锁建立petri网模型，通过化简和合成建立系统的petri网模型，借助petri网的可达标识图实时检测出分布式系统的死锁状态，并查找死锁进程。
%K 分布式系统
%K 锁管理
%K dlm
%K petri网
%K 死锁检测
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110810&flag=1