[发明专利]具有吸收式策略和分布式策略特征的Petri网稳健性控制方法

权利要求书

1.具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：至少包括以下步骤：

具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：至少包括以下步骤：

1)对不使用不可靠资源的进程进行稳健算法；

2)对于使用不可靠资源的进程进行加强算法。

2.根据权利要求1所述的具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：步骤1)具体包括：

1.1)初始化；

1.2)采集当前状态下不使用不可靠资源进程中每个库所的特肯数以及资源库所的特肯数，其中活动库所的特肯数表示的是当前库所中的工件数，资源库所的特肯数表示的是可使用的资源的数量；

1.3)令稳健变迁集合为空集，即

1.4)选择进程中的一个使能变迁t_i，如果在当前的状态下，当前的资源足够支撑变迁t_i对应的库所中特肯前进到其对应的第一类或第三类关键区域，则T_RN:＝T_RN∪{t_i}；否则进行步骤1.4)。

3.根据权利要求1所述的具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：步骤2)具体包括：

2.1)初始化；

2.2)采集当前状态下使用不可靠资源进程中每个库所的特肯数以及资源库所中的特肯数；

2.3)令加强变迁集合为空集，即

2.4)选择当前进程中的一个使能变迁t_i，t_i对应的库所为p_i。

4.根据权利要求3所述的具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：步骤2.4)具体包括：

2.4.1)当p_i在使用不可靠资源的库所p_u之前时，如果当前的资源足够支持p_i中的工件前进到其最近的第二类或第三类关键区域，那么T_RU:＝T_RU∪{t_i}；否则进行步骤2.4)；

2.4.2)当p_i在使用不可靠资源的库所p_u之后时，如果当前的资源足够支持p_i中的工件前进到其最近的第一类或第三类关键区域，那么T_RU:＝T_RU∪{t_i}；否则进行步骤2.4)

2.4.3)当p_i使用不可靠资源时，如果当前的不可靠资源处于故障的状态，那么T_RU:＝T_RU-{t_i}；如果当前的不可靠资源处于好的状态，那么进行步骤2.4.2)。

5.根据权利要求4所述的具有吸收式策略和分布式策略特征的Petri网稳健性控制方法，其特征是：步骤2.4.1的具体步骤如下：

2.4.1.1)如果p_i最近的关键区域是第三类关键区域，当当前的资源足够支持其中特肯前进到此关键区域，那么T_RU:＝T_RU∪{t_i}；

2.4.1.2)如果p_i最近的关键区域是第二类关键区域，当当前的资源足够支持其中特肯前进到此关键区域，同时还需满足：使用不可靠资源前所使用的共享可靠资源不能被需要使用不可靠资源的工件完全占有，则T_RU:＝T_RU∪{t_i}，否则进行步骤2.4)。