论文针对自动制造系统的一般特点，提出了一种基于Petri网的死锁避免算法。该算法在不穷举网系统的全部可达标识的前提下，首先计算出网系统的一些特殊标识，即所谓的死锁标识、坏标识和危险标识。由于在坏标识下，系统将必然发生死锁；而在危险标识下，系统只是有可能死锁。所以论文中提出的死锁避免算法通过控制危险标识下使能变迁的发射，来保证整个系统是无死锁的。新算法只是计算出网系统的部分可达标识图，它在保证系统是无死锁的前提下最大限度的降低了对系统的约束并且适用于一般网的情况，因而它比现有的方法具有更大的实用性。 正如论文中所提到的，如何判定标识的可达性是新的死锁避免算法中所要解决的关键问题。因此论文提出了用矩阵方法求解Petri网的库所不变式、变迁不变式和状态方程的新方法；并将Grobner基理论引入Petri网的分析领域；而且还对非循环网的可达性问题作了深入的分析。综合这些方法，文章最后总结了一套系统的方法用以解决Petri网的标识可达性问题。在整个的研究过程中，论文总结和归纳了许多有用的概念和结论，而且这些概念和结论对于其它的Petri网分析也是普遍适用的。