%0 Journal Article
%T The Analysis and Test of Petri Net''''s Deadlock<br>Petri网死锁的分析与检测
%A 唐培和
%J 计算机系统应用
%D 2004
%I 
%X 本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.
%K Petri网
%K 死锁
%K 算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=A9B82660B9650FED&yid=D0E58B75BFD8E51C&iid=708DD6B15D2464E8&sid=1AE5323881A5ECDC&eid=F4B561950EE1D31A&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=5&reference_num=5