[发明专利]基于不可控事件的自动制造系统最大许可行为控制方法

权利要求书

1.一种基于不可控事件的自动制造系统最大许可行为控制方法，其特征在于，所述基于不可控事件的自动制造系统最大许可行为控制方法通过从后往前逆推导，即从死锁状态循环向前搜索；首先找出因为不可控事件导致的坏状态的变化，原来的好状态或者是临界状态可能因为不可控事件而变成坏状态；其次找出由不可控事件导致的临界状态的变化，原来的临界状态一部分可能变成了坏状态，另外原来的好状态此时可能变成了临界状态；然后好状态因为不可控事件的影响将会在原来的基础上减少，原来的好状态可能变成了坏状态，也可能变成了临界状态；最后输出的好状态即为自动制造系统考虑不可控事件的最大许可行为；

所述基于不可控事件的自动制造系统最大许可行为控制方法具体包括以下步骤：

步骤一，考虑全可控事件的自动制造系统，通过Petri网初始标识以及输入输出变迁，生成整个Petri网的全局可达图，输出所有状态中的死锁状态、坏状态、临界状态以及好状态；

步骤二，考虑不可控事件的自动制造系统，找出此时可达图中因为不可控事件导致产生的坏状态，并加入到原来的坏状态集合中；

步骤三，找出可达图中因为不可控事件导致产生的临界状态，添加到原来的临界状态集合中，去除原来的临界状态因为不可控事件变成的坏状态；

步骤四：将所有的状态除去死锁状态、坏状态以及临界状态后，剩余的状态即为好状态，并将其加入好状态集合goodstates。

2.如权利要求1所述的基于不可控事件的自动制造系统最大许可行为控制方法，其特征在于，所述步骤一具体实现过程包括：

(1)输入Petri网的初始标识M₀，输入、输出变迁；

(2)初始化当前状态M＝M₀，并将其做个标记flag，初始化为false；

(3)若系统中还存在没有被搜索到的状态，则继续执行下面的过程，否则终止；

(4)选择一个状态为“false”，即没有被访问过的标识M；

1)若已搜索过M，则将其标记为“true”，并开始搜索其它“false”标识；

2)若在M下，不存在能够被使能的变迁，则将M标记为“deadlock”，并将其加入死锁状态集合deadlockstates；

(5)对于M下所有满足使能条件的变迁t，执行下面的操作：

1)激发t得到新的标识M'；

2)从M到M'添加弧t；

(6)将M的状态标记为“true”后回到(2)；

(7)遍历除了死锁状态剩余的状态，判断如果一个状态经过变迁t发射不可避免地陷入死锁状态，只能到达死锁状态deadlock，则将该状态加入坏状态集合badstates；

(8)遍历除了死锁状态和坏状态剩余的状态，判断如果一个状态经过两个及以上变迁发射可能到达非死锁状态且非坏状态也可能到达死锁状态或坏状态，不加控制系统有可能进入坏状态，使系统进入死锁或活锁，则将该状态加入临界状态集合criticalstates；

(9)将所有的状态除去死锁状态、坏状态以及临界状态后，剩余的状态即为好状态，并将其加入好状态集合goodstates。