[发明专利]具有复杂进程子网的自动制造系统的协同活性构建方法

权利要求书

1.一种具有复杂进程子网的自动制造系统的协同活性构建方法，其特征在于，所述具有复杂进程子网的自动制造系统的协同活性构建方法包括以下步骤：

第一步，PN子网和满足活性的WRCN子网通过共同变迁路径合成，共同变迁路径中不包括工作库所和资源库所；

第二步，开始加工，WRCN中资源库所的资源要连续输入；

第三步，PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数满足如下条件：1)单个PN和多个WRCN合并时，PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数；如果这样的WRCN网有多个，那就小于其中最小的托肯数；2)多个WRCN和多个PN合并时，PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数；如果这样的WRCN网有多个，那就小于其中托肯数最小的。

2.如权利要求1所述的具有复杂进程子网的自动制造系统的协同活性构建方法，其特征在于，所述具有复杂进程子网的自动制造系统的协同活性构建方法的第三步对PNWR的资源限制要求为：

其中的前提条件为：n₁＞0，n₂＞0，n₃≥w₁+≥w₂+1，n₄≥w₃+1，a＞，b＞0。

3.如权利要求1所述的具有复杂进程子网的自动制造系统的协同活性构建方法，其特征在于，所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括：PNWR由12个资源控制子网和2个过程子网合成；

资源控制网G₈和G₉都与两个过程子网存在共同变迁路径，资源应该满足：

4.如权利要求1所述的具有复杂进程子网的自动制造系统的协同活性构建方法，其特征在于，所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括：一个过程网G＝(P，T，F，M₀)如果满足以下三个条件，则是一个满足持久性，保守性，强连接且活的Petri网；具体条件如下：

条件I：G仅包含一个工作库所p₀且M₀(p₀)＞0，其余的库所为运行库所p，对于M₀(p)＝0使得p≠p₀；

条件S：从网G中移出资源库所p₀得到的网G^*是非循环的，G中的每个循环包括p₀，而且p₀的所有输出变迁都是网G^*的源变迁；

强可逆性:在发射规则X下，除了变迁t，其中从任何可达标识M∈R(M₀)处通过发射其它变迁都可以回到初始状态M₀；

一个PNWRG是一组资源库所添加到过程网中的结果网，每个资源库所p_rx，p_rx·和·p_rx产生的变迁子网G_x满足以下两个条件：

1)M₀(p_rx)≠0且M₀(p)＝0；

2)p_rx和G_x还有连接弧组成了一个满足保守性的网，称为一个资源控制网。