论文部分内容阅读
在Petri网模型下的柔性制造系统中,人们提出了很多死锁预防策略,这些策略被广泛用于解决Petri网中的死锁问题。然而,大部分策略都是在假设所有变迁都可控并且可观的情况下得出。而在实际系统中,不可控和不可观变迁是非常常见的。当存在不可控变迁或不可观变迁时,由这些策略得到的控制器可能无法阻止系统进入死锁状态。这是因为控制器无法控制不可控变迁,也无法观测不可观变迁。因此已有的控制策略不能用于处理存在不可控和不可观变迁的系统。所以在为系统设计控制器时必须同时考虑不可控变迁以及不可观变迁的影响。本论文的工作主要包含以下内容:1.当前在死锁问题的研究中,大量工作都集中在了假定不存在不可控和不可观变迁的系统中。只有少数控制策略涉及到了不可控和不可观变迁。然而对于那些没有考虑不可控不可观变迁的策略,目前并没有一种普遍适用的方法来检验这些控制策略在存在不可控及不可观变迁条件下的适用性。即在什么条件下即使存在不可控和不可观变迁时这些控制策略仍然适用。本论文提出了一种方法来评价当前已有控制策略在存在不可控和不可观系统中的适用性。首先,假定所有变迁都可控可观,采用待评价的控制策略为原网系统设计控制器。然后提出了一种算法得出一组关键可控变迁以及一组关键可观变迁。根据这两组变迁,给出了控制策略适用的充分条件。即当所有的关键可控变迁都实际可控并且所有的关键可观变迁都实际可观时控制策略是适用的。结合已有的控制策略,也可以用提出的评价策略为存在不可控及不可观变迁的Petri网模型设计控制器。当给定一个待控制的Petri网模型,首先在假设所有变迁可控可观的条件下用某一控制策略设计控制器,然后用评价策略判断该控制策略的适用性。如果该控制策略是适用的,则所设计出的控制器能够起到控制作用。若该控制策略不适用,则再尝试其他的控制策略,直到找到适用的控制策略为止。该评价策略适用于一般网,并且能用来评价针对一般网的任何死锁预防策略。2.针对柔性制造系统中的一类子网模型,把基于可被清空信标的活性控制约束表示为一组不等式。当存在可观变迁时,提出了为这些控制约束添加控制器的策略。然后针对控制库所后置集中的不可控变迁,提出了一组线性规划,通过求解线性规划得到了一组危险变迁和一组完全安全变迁。控制库所指向危险变迁的弧是非法的,而控制库所指向完全安全变迁的弧是合法的。然后定义了不可控变迁的首遇可控变迁,使得控制库所指向了该危险变迁的首遇可控变迁。某个不可控变迁的首遇可控变迁是在一个基本路径中,该不可控变迁逆向遇到的第一个可控变迁。在添加控制器时依次分别考虑不可观及不可控变迁,这是本论文的一个重要贡献。此外,在文中还提出了判断实现控制约束的控制器存在的充分必要条件。3.基本信标的方法从提出至今已经被人们广泛的应用于死锁预防中。针对比上述子网模型更为普通的一类子网模型,在存在不可控及不可观条件下提出了基于基本信标方法的一种控制策略。所有可被清空的信标被分为基本信标与从属信标。首先假定所有基本信标的控制深度变量为1。在考虑不可观变迁的情况下,通过给基本信标的补集中添加原网中的库所使得补集变成了考虑不可观变迁条件下的扩充补集。然后给扩充补集添加控制器。接着,在考虑不可控变迁条件下,将已经扩充的补集再次扩充为考虑到不可控变迁条件下的扩充补集。针对第二次扩充的补集,删除了控制库所指向危险变迁的控制弧并重新添加了新的控制弧。然后,在得到的受控系统中,提出了算法来重新给控制深度变量赋值使得从属信标可控。此外本论文还分析了基本信标和从属信标的可控性。证明了在受控网系统中,所添加的控制器使得基本信标和从属信标一直被标识(不被清空)。