近些年,自动制造系统的死锁问题得到了广泛的关注。许多学者基于Petri网模型对其进行了大量的研究。众所周知,不可控或者不可观变迁的存在将会大大提高系统发生死锁的可能性。因此,找到一个解决含有不可控或不可观事件系统的死锁问题的方法变得尤为重要。现有的针对含有不可控与不可观事件的自动制造系统的无死锁研究方法仍存在一些不足,比如:离线计算控制器对系统进行控制、需要获取系统的全局信息、未达到最大许可等缺点。针对这些不足,本文首先利用全局可达图对无死锁控制方法进行分析与实现。其次,通过步长在线实时预测得到的局部可达图信息,对含有不可控与不可观变迁的Petri网的无死锁控制方法进行了研究。最后,针对含有不可控与不可观变迁的Petri网,得到了一种利用最优步长在线实时预测实现无死锁控制的方法。该方法与现有的方法相比,其优势体现在:(1)该方法是边预测边控制,即是实时在线的;(2)该方法以步长进行预测只需要知道系统的局部信息而无需知道其全局信息,大大减少了计算和分析的复杂性;(3)该方法使系统在含有不可控或不可观事件的情况下的许可性达到了最大。本文主要完成了以下工作:1.基于全局可达图对全可控全可观的自动制造系统的无死锁控制进行了分析与实现。2.分析了Petri网中含有不可控或者不可观变迁对系统无死锁控制的影响,进而对最优步长的思想进行了简要的介绍;3.针对含有不可控事件的自动制造系统,对其无死锁控制的算法进行了详细的介绍,其主要思路是利用试探的方法找到一个可以在线预测并能进行死锁避免的可行步长;由于可行步长预测的局部信息存在冗余,进而使计算和分析的复杂度增加,针对此问题,利用二分法的思想得到一个最优步长,然后根据最优步长在线实时预测,得到局部可达图,利用预测到的局部可达图信息进行判断、控制进而避免系统发生死锁。4.针对含有不可观事件的自动制造系统,基于最优步长对死锁避免策略进行详细的介绍和分析。5.在实验室开发的SIMIPN软件平台上进行了二次开发,利用最优步长的思想对含有不可控事件的自动制造系统的无死锁控制方法进行了实现,证明了本文提出的方法的正确性。