%0 Journal Article
%T 死锁的petrinets模型
%A 吴启明？
%A 袁崇义？
%J 软件学报
%P 5-10
%D 1991
%X 本文给出了操作系统(os)的一种基于petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了os中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式os,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910302&flag=1