作为一种基于可达图的死锁预防策略,区域理论能够保证网系统的最大许可行为。但是利用它对Petri网进行死锁控制的瓶颈在于网模型状态空间随网规模的指数级增长以及由此而引起的求解线性规划问题个数的快速增长。本文致力于一般Petri网系统的研究,基于它的两个特殊子类S~3PR网和S~4PR网在柔性制造系统中的死锁为例提出了一种改进型的基于区域法的死锁预防优化策略。同时该改进后的策略也适用于一般Petri网的应用。在本文中,我们首先依据不同的事件分离事例可能对应同一个事件分离条件引入消去过程,在线性规划问题求解之前消除重复性问题;然后在线性规划问题的求解过程中及时将求得的结果代入到其它分离事例所对应的分离条件中进行验证,进一步减少线性规划问题的求解次数,最大可能的降低算法的时间复杂度。同时该算法还在一定程度上剔除了冗余库所。