[发明专利]一种基于Petri网的自动制造系统的控制方法

权利要求书

1.一种基于Petri网的自动制造系统的控制方法，其特征在于，包括以下步骤：

1)进行死锁避免算法：

1.1)初始化；

1.2)采集当前状态信息，包括每个库所所含的托肯数，其中，活动库所中的托肯数表示当前所含的工件数，资源库所中的托肯数表示当前剩余的资源数目；

1.3)根据变迁发射规则，求出当前状态下所有使能的变迁集合T_EN，且所有使能的变迁集合T_EN中的元素个数为n；

1.4)令无死锁变迁集合

1.5)选择第i种工件类型或进程的第j个变迁属于所有使能的变迁集合T_EN，且在当前剩余资源支撑下，工件若能从当前库所走到最近的关键库所，则无死锁变迁集合工件若不能从当前库所走到最近的关键库所，则进行步骤1.5)；其中，i∈N_K，N_K是自然数集合，N_K＝{1,2,3,…,K}；

2)进行稳健性加强算法：将从无死锁变迁集合T_DF中挑选产生一个允许发射的变迁集合使得系统既无死锁又是稳健的；无死锁变迁集合T_DF中元素个数为m；

3)进行并发性改善算法：

3.1)给变迁集合T_RB中的每一个变迁对应的托肯添加标签x_i；

3.2)用表示第x_i个托肯前进的步数；

3.3)选择最落后的托肯，则其对应的变迁属于并发性改善变迁集合T_MC；

3.4)让并发性改善变迁集合T_MC中的一个变迁发射；然后进行步骤1.2)。

2.根据权利要求1所述的一种基于Petri网的自动制造系统的控制方法，其特征在于，步骤2)的具体步骤如下：

2.1)对于变迁t∈T_DF，若工件在当前库所以及后续路径中都不占用不可靠资源，则t∈T_RB；

2.2)对于t∈T_DF，若工件在当前库所没有占用不可靠资源，后续路径中需要占用不可靠资源，那么，如果当前资源足够支撑该工件前进到最近的不可靠资源，且能够被存储起来，则t∈T_RB；

2.3)对于t∈T_DF，若工件在当前位置占用不可靠资源，则，如果当前工件占用的不可靠资源没有故障，且后续路径中不需要不可靠资源，或者当前资源能够支撑其前进到最近的不可靠资源，则t∈T_RB，其中，T_RB为变迁集合；

2.4)否则，选择下一个t∈T_DF，进行步骤1)，直至T_RB中所有变迁都找出来之后进行步骤3)。