论文部分内容阅读
作为近年来出现的一种死锁预防策略,区域理论对网系统设计控制器时可以使系统获得最大许可行为。但是随着网规模的扩大,可达标识增多,会带来求解线性规划次数过多,算法复杂和状态爆炸的问题。在本文中,首先对Petri网系统产生完整的可达图,应用区域理论来设计添加的控制库所,找到每一个控制库所需要满足的可达条件、循环等式和事件分离条件。然后结合普通网的特点,改善事件分离条件的限制形式,并从中求取一组基本事件分离条件,对这组基本事件分离条件对应的分离事例求解得到网系统的一组控制库所。最后,通过去除冗余