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

权利要求书

1.一种基于不可观事件自动制造系统最大许可行为信息控制方法，其特征在于，所述基于不可观事件自动制造系统最大许可行为信息控制方法包括以下步骤：

步骤一，基于全可观事件的自动制造系统，由Petri网初始标识以及输入、输出变迁，生成整个Petri网的全局可达图；

步骤二，考虑自动制造系统的不可观事件，由Petri网初始标识以及输入、输出变迁生成新的可达图；

步骤三，考虑自动制造系统的不可观事件，由死锁状态逆推导得到考虑不可观事件的自动制造系统的坏状态；

步骤四，考虑自动制造系统的不可观事件，由坏死状态逆推导得到考虑不可观事件的自动制造系统的临界状态；

步骤五，将所有状态除去死锁状态和坏状态，剩余的状态为好状态，考虑不可观事件的自动制造系统的最大许可行为；

所述步骤一于全可观事件的自动制造系统，由Petri网初始标识以及输入、输出变迁，生成整个Petri网的全局可达图具体包括：

(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)最终得到整个Petri网的全局可达图R(G)；

所述步骤二考虑自动制造系统的不可观事件，由Petri网初始标识以及输入、输出变迁生成新的可达图具体包括：

(1)输入Petri网的输入、输出变迁以及不可观变迁集合T_uo，步骤一得到的全局可达图R(G)以及死锁状态集合deadlockstates；

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

(3)对于不可观变迁集合T_uo中所有不可观变迁，如果一个状态经过一个不可观变迁发射到达另一个状态，则将不可观变迁发射前后的这两个状态归为一类，为状态类；

(4)将状态类视为一个节点状态，从初始状态M₀开始构造新的可达图R'(G)，执行以下操作；

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

2)选择一个状态或节点状态为false，没有被访问过的状态或节点状态；

①若已搜索过该状态或节点状态，则将其标记为true，并开始搜索其它false状态或节点状态；

②若在该状态或节点状态下，不存在可以被使能的变迁，则将该状态或节点状态标记为deadlock，并将其加入死锁状态集合deadlockstates；

3)对于该状态或节点状态下所有满足使能条件的变迁t，执行下面的操作：

①激发t得到新的状态或节点状态；

②从当前状态或节点状态到新的状态或节点状态添加弧t；

4)将该状态或节点状态标记为true后回到2)；

5)得到整个Petri网的新的可达图R'(G)。