死锁的petrinets模型

本文给出了操作系统(os)的一种基于petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了os中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式os,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。