%0 Journal Article
%T Petri Net Model and Deadlock Detection of Distributed Lock<br>分布式锁的Petri网建模及死锁检测
%A JIN Hong-lin
%A LIU Bo
%A <br>金红琳
%A 刘波
%J 计算机科学
%D 2011
%I 
%X DLM uses 6 kinds of locks, which makes not only more concurrency in distributed systems, but also more difficult management of locks. Then Petri net works. The Petri net model of a distributed system is compounded from the simplified Petri net of its subsystems. With the reachable marking graph of the system's Petri net, deadlocks can be detected in real time, which processes in the deadlock chain will also be known.
%K Distributed system
%K Lock management
%K DLM
%K Petri net
%K Deadlock detection<br>分布式系统，锁管理，DLM
%K Petri网，死锁检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=DD19B506561B46CAF0BAD8947454C612&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=5D311CA918CA9A03&sid=2A3781E88AB1776F&eid=286FB2D22CF8D013&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0