CN111507025A - 基于Petri网的资源共享装配操作系统活性构建方法 - Google Patents

Abstract

本发明属于自动制造系统领域，公开了一种基于Petri网的资源共享装配操作系统活性构建方法，将装配结构的Petri子网按照资源的竞争情况分解；计算子网中需要添加的子资源控制库所的结构；分析子网的合成规则，并限制子资源控制库所和资源库所的资源个数关系，使得到的合成网满足活性。本发明通过提供子网合成和限制规则使得综合建模合成网必然满足活性。本发明采用在合成时通过子资源控制库所sub‑RCP对合成网各部分子系统的资源分配情况进行调节和规划，然后将共同变迁合成最终的大网的创新方法。不仅适用于一般的Petri网系统的建模过程，同时适用于具有并行、同步操作等复杂系统，具有更强的适用性。

Description

基于Petri网的资源共享装配操作系统活性构建方法

技术领域

本发明属于自动制造系统技术领域，尤其涉及一种基于Petri网的资源共享装配操作系统活性构建方法。

背景技术

近几十年来，随着信息、自动化和计算机技术的快速发展和广泛应用，自动化制造系统极大地提高了自动化技术、质量和生产效率，减少了成本、浪费和停机时间。自动制造系统总是表现为一系列过程和一组资源之间的高度复杂的相互作用，所以对具有共享资源的自动化制造系统的研究是非常有必要的。对于任何一种自动制造系统而言，死锁是应当首先解决的问题，而资源竞争是资源共享系统出现死锁等不希望事件的本质特性，所以通过合理分配资源避免资源竞争从而避免死锁是本发明建模过程中的必须要考虑的因素。

目前有不少关于自动制造系统的活性研究成果，通过阅读和了解该方向的文章后，发现还存在不足之处，有以下两方面：1)很多学者从为整个系统添加监督器这个角度出发保证系统的活性，但是往往工程中系统是很复杂的，导致添加控制器难度大成本高；2)从Petri网建模角度来保证系统活性，但对系统的要求比较苛刻，不具有普遍适用性。在制造过程中，许多操作往往是同时进行的，零件的加工过程是并行的、同步的。对于制造系统目前有很多建模方法，例如：IDEF、Petri网、面向对象等经典建模方法。IDEF是面向结构的分析方法，在集成模型框架、过程模型等建模方面可给出较好的解决方案，但难以实现典型离散制造系统的定量性能分析。面向对象建模方法具有良好的继承性和封装性，但对于复杂制造系统来讲，建模方法较难理解和掌握。对比来说，Petri网建模比较有优势，体现在Petri网是对离散并行系统的数学表示，具有比较严格的数学基础和较强的离散事件动态系统描述能力，适合于描述异步的、并发的计算机系统模型，在制造系统建模中得到了广泛的应用。

综上所述，现有技术存在的问题是：

(1)现有技术在资源共享网中资源竞争中，合成网易引起死锁，需再通过后期干预来使得合成网满足活性，增加了后期验证的成本。

(2)现有的建模合成技术大多使用于单条变迁路径的系统，对于异步的、并发的多条变迁路径的系统并不适用，所以使得在构建系统时建模者受到很大的限制。

解决上述技术问题的难度：(1)在资源共享装配操作系统的系统模型和资源的竞争情况都变得复杂，所以如何计算为子系统添加的子资源控制库所，使得子网和最终的合成网满足活性是比较有难度的。(2)与现有的普通网合成相比，本文的研究范围扩大至同步、并发的系统(例如：装配操作系统)。

解决上述技术问题的意义：上述提出的建模方法是在合成过程中为子网添加子资源控制库所，遵守此合成规则的合成网满足活性。按照子网中的资源竞争路径来计算子资源控制库所，使得合成网中资源合理分配，无需对合成网进行后续的验证，节省后期的验证成本。并且此方法不仅适用于并行的、同步的网络同时适用于普通的单变迁路径网络。另外从建模者角度来说，大大提高了建模者在建模过程中的灵活性。

发明内容

针对现有技术存在的问题，本发明提供了一种基于Petri网的资源共享装配操作系统活性构建方法。具体提出一种子系统合成，使得合成之后的系统满足活性，合成规则适用于多资源多并发加工制造系统。

本发明是这样实现的，一种基于Petri网的资源共享装配操作系统活性构建方法，所述基于Petri网的资源共享装配操作系统活性构建方法包括以下步骤：

步骤一，定义装配结构的Petri子网中的资源竞争路径集合概念；

步骤二，计算步骤一子网中需要添加的子资源控制库所的结构；

步骤三，分析子网的合成规则，并限制子资源控制库所和资源库所的资源个数关系，使得到的合成网满足活性。

进一步，步骤一，装配结构的Petri子网包括：N＝(P,T,F,W)，其中P是库所集合，T是变迁集合，

是有向弧或数据流关系的集合；W:(P×T)∪(T×P)→N，W表示一个映射，为Petri网N的权函数，且为每一条有向弧分配一个权值，其中N＝{1,2,3...}表示自然数集合；当W:→{1}并且

进一步，步骤一，装配结构的Petri子网包括B(t_s,t_e)，B满足：

在t_s和t_e之间的子网中没有回路，则B为一个MG-block；用

表示MG-block开始于变迁t_s，结束于变迁t_e。

进一步，步骤一，装配结构的Petri子网中的有向路径L，满足以下条件：

2)

则L为资源库所Pr的一组资源竞争路径集合。

进一步，步骤一按照资源的竞争情况分解方法进一步包括：

C＝(P,T,F,W)为由子系统组成的合成网，C_i＝(P_i,T_i,F_i,W_i)表示子网系统；若装配结构的Petri子网中的资源竞争路径在合成网中满足

并且

则为主路径；若满足

并且

则为次路径。

进一步，步骤二中，采用GMEC方法为子网添加子资源控制库所sub-RCP；具体包括：

1)，查询子网中的资源竞争路径，按照资源竞争路径的定义查找符合定义的路径；

2)，计算子系统中要添加的子资源控制库所的个数；装配结构的Petri子网中有n条资源竞争路径，添加n-1个子资源控制库所；通过前n-1个子资源控制库所使得前n-1个资源控制路径中的资源分配合理，还使得第n个资源路径的资源够用；

3)，建立约束

用M_RCi(p)表示子资源控制库所中的资源个数以及用M(Pr)表示资源库所中的资源个数；

4)，子资源控制库所中的资源个数和资源库所个数的关系满足以下条件，

进一步，步骤3)具体包括：

3.1)P∈Po∧M_Ri(p)＝0，则l_i(p)＝0；否则l_i(p)≠0；

3.2)装配结构的Petri子网中的资源竞争路径中的t_s和t_e之间由单个过程组成，则l_i(p)＝1；装配结构的Petri子网中的资源竞争路径中的t_s和t_e之间由n个独立的并发过程组成，则l_i(p)＝1/n；

3.3)计算子资源控制库所sub-RCP的结构设计及库所中的托肯数；

其中N是关联矩阵；

3.4)让i＝i+1；回到第步骤3.1)步继续循环，直到i＞n-1；

3.5)得到装配结构的Petri子网的所有子资源控制库所。

进一步，步骤三，将子网、子资源控制库所按照共同变迁合成，合成网满足活性中，具体包括：

限制1：在每个共同变迁中，最多存在一个输入库所是操作库所；

限制2：共同变迁子网中不包含资源库所；

限制3：在每个子网中必须至少存在一个主路径；

限制4：每个子网中的资源竞争路径的集合和合成网中的资源竞争路径集合完全相同；

最终的合成网满足活性中，子资源控制库所和资源库所中的资源个数满足以下条件：

(n₁＜n_A)∧(n₂＜n_B)∧(n₃＜n_C)∧(n₄＜n_D)。

本发明的另一目的在于提供一种计算机可读存储介质，储存有指令，当所述指令在计算机上运行时，使得计算机执行所述的基于Petri网的资源共享装配操作系统活性构建方法。

本发明的另一目的在于提供一种执行所述基于Petri网的资源共享装配操作系统活性构建方法的自动制造系统。

综上所述，本发明的优点及积极效果为：本发明采用sub-RCP控制子系统使得合成的系统满足活性。采用此方法有以下的优点：1)通过控制子系统使得各个子网中的资源分配合理，即从本质上解决了因资源竞争导致的死锁，所以合成网必然是活的。2)采用子资源竞争路径来计算各部分子网的子资源控制库所的这种计算方法能够得到所有的资源竞争情况，并且重要的一点是在最终的合成网中不会出现没有计算到的资源竞争情况。通过此方法合成的装配操作系统，不管并发变迁路径有多少条，都可以通过文中提到的技术得到子资源控制库所，并且合成网通过调节资源库所和子资源控制库所中的资源个数关系即可使得系统中的资源个数满足制造系统生产需求。

本发明采用Petri网建模。上述提到过在资源共享网中资源竞争是引起死锁的本质原因，在建模过程中通过对子网的资源进行合理分配和限制，合成网中的资源分配情况和子网中的资源分配情况保持一致，避免最终合成网发生死锁，从而合成网满足活性，无需再通过后期干预来使得合成网满足活性，减少后期验证的成本，此建模方法适用于更加广泛的系统。

相比于现有几技术，本发明的优点进一步包括：为了解决自动制造系统中的活性问题，本发明通过提供子网合成和限制规则使得综合建模合成网必然满足活性。本发明采用在合成时通过子资源控制库所sub-RCP(sub-Resource Control Place)对合成网各部分子系统的资源分配情况进行调节和规划，然后将共同变迁合成最终的大网的创新方法。不仅适用于一般的Petri网系统的建模过程，同时适用于具有并行、同步操作等复杂系统，具有更强的适用性。

附图说明

图1是本发明实施例提供的基于Petri网的资源共享装配操作系统活性构建方法流程图。

图2是本发明实施例提供的三个MG-block图。

图中：(a)综合状态之前的多个并行独立的子过程组成一，其中t_s＝t₁₁，t_e＝t₁₆；(b)综合状态之前的多个并行独立的子过程组成二，其中t_s＝t₁₁，t_e＝t₁₆；(c)综合状态之前的多个并行独立的子过程组成三，其中，t_s＝{t₁,t₂}，t_e＝t₁₆；(d)子过程分别包含内部回路一，{t₁,p₃,t₃,p₂,t₁}和{t₂,p₅,t₆,p₄,t₂}；(e)子过程分别包含内部回路二，{t₁,p₃,t₃,p₂,t₁}和{t₂,p₅,t₆,p₄,t₂}。

图3是本发明实施例提供的两种类型的装配结构图。

图中：(a)独立并发路径的起始变迁都是同一个变迁；(b)独立并发路径起始变迁为不同变迁。

图4是本发明实施例提供的两个资源竞争路径图。

图中：(a)第一资源竞争路径说t_s＝t₁，t_e＝t₄，·t₁＝p₉，t·4＝p₉；(b)第二个路径中t_s＝t₆，t_e＝t₈，·t₅＝p₉，t·₆＝p₉；(c)两个资源竞争路径分别为

和{t₆,p₇,t₈}图。

图5是本发明实施例提供的系统中无主路径，都是次路径，导致t₁无法使能从而导致t₂，t₃无法使能图。

图6是本发明实施例提供满足以上合成规则的合成网图。

图中：(a)按照资源竞争路径的定义，可得关于资源库所的一对资源路径；(b)子网的子资源控制库所；(c)将得到的子资源控制库所和子网合成得到最终的合成网。

图7是本发明实施例提供的AMS系统的网络结构模型的子网和合成网图。

图8是本发明实施例提供的按合成后就得到最终的合成网图。

具体实施方式

为了使本发明的目的、技术方案及优点更加清楚明白，以下结合实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅仅用以解释本发明，并不用于限定本发明。

现有技术在资源共享网中资源竞争中，合成网易引起死锁，需再通过后期干预来使得合成网满足活性，增加了后期验证的成本，造成现有技术建模方法适用受限。

针对现有技术存在的问题，本发明提供了一种基于Petri网的资源共享装配操作系统活性构建方法，下面结合附图对本发明作详细的描述。

如图1所示，本发明实施例提供的基于Petri网的资源共享装配操作系统活性构建方法包括：

S101，将装配结构的Petri子网按照资源的竞争情况分解。

S102，计算步骤S101子网中需要添加的子资源控制库所的结构。

S103，分析子网的合成规则，并限制子资源控制库所和资源库所的资源个数关系，使得到的合成网满足活性。

步骤S101中，装配结构的Petri子网为N＝(P,T,F,W)表示一个Petri网，其中P是库所集合，T是变迁集合，

是有向弧或数据流关系的集合。W:(P×T)∪(T×P)→N，W表示一个映射，称为Petri网N的权函数，为每一条有向弧分配一个权值，其中N＝{1,2,3...}表示自然数集合。当W:→{1}并且

则称之为标识图(markedgraph)。

定义1：设B(t_s,t_e)是一个Petri网，若B满足：1)

2)

3)在t_s和t_e之间的子网中没有回路，称B为一个MG-block(marked graph block)。用

表示一个MG-block开始于变迁t_s，结束于变迁t_e。

图2(a)-(c)展示了三个MG-block，在图2(a)和图2(b)中，t_s＝t₁₁，t_e＝t₁₆。图1(c)t_s＝{t₁,t₂}，t_e＝t₁₆。他们结构都是由综合状态之前的多个并行独立的子过程组成的。图2(d)不是一个MG-block，因为他的子过程分别包含内部回路{t₁,p₃,t₃,p₂,t₁}和{t₂,p₅,t₆,p₄,t₂}。显然，图2(e)也不是一个MG-block。

本发明涉及两种类型的装配结构，如图3所示，图3(a)是独立并发路径的起始变迁都是同一个变迁，图3(b)是独立并发路径起始变迁为不同变迁。

定义2：子网中的有向路径L，若满足以下条件：1)

2)

我们则称为L为资源库所Pr的一组资源竞争路径。同一组资源竞争路径使他们使能的是同一个资源库所。

图4(a)中，图4(a)中有两个资源竞争路径分别为

和{t₆,p₇,t₈}。其中p₉是资源库所Pr，对于第一资源竞争路径来说t_s＝t₁，t_e＝t₄，·t₁＝p₉，t·₄＝p₉。第二个路径中t_s＝t₆，t_e＝t₈，·t₅＝p₉，t·₆＝p₉。综上以上两个路径属于资源n_A的两个资源竞争路径。

在Petri网系统中，变迁的使能往往是存在一些优先使能的变迁，变迁使能顺序会使得系统的表现情况大有不同，为了方便研究，在这里先定义那些那些优先使能的变迁路径为主路径，靠后使能的变迁路径成为次路径。

定义3：设C＝(P,T,F,W)是由子系统组成的合成网，C_i＝(P_i,T_i,F_i,W_i)表示子网系统。若子网中的资源竞争路径在合成网中满足

并且

则为主路径；若满足

并且

则为次路径。

图4(a)-图4(c)中，有两个资源竞争路径分别为

和{t₆,p₇,t₈}。其中路径

为主路径；{t₆,p₇,t₈}为次路径。

步骤S102中，采用GMEC方法为子网添加子资源控制库所sub-RCP。具体包括：

1).查询子网中的资源竞争路径。按照资源竞争路径的定义查找符合定义的路径。

2).计算子系统中要添加的子资源控制库所的个数。设子网中有n条资源竞争路径，那么就需要添加n-1个子资源控制库所。通过前n-1个子资源控制库所使得前n-1个资源控制路径中的资源分配合理，同时又使得第n个资源路径的资源够用。

3).建立约束

用M_RCi(p)表示子资源控制库所中的资源个数以及用M(Pr)表示资源库所中的资源个数。

3.1)如果P∈Po∧M_Ri(p)＝0，则l_i(p)＝0；否则l_i(p)≠0，具体数值为多少，见下一步。

3.2)如果子网中的资源竞争路径中的t_s和t_e之间由单个过程组成，则l_i(p)＝1；如果子网中的资源竞争路径中的t_s和t_e之间由n个独立的并发过程组成，则l_i(p)＝1/n。

3.3)计算子资源控制库所sub-RCP的结构设计及库所中的托肯数。

其中N是关联矩阵。

3.4)让i＝i+1；回到第1)步继续循环，直到i＞n-1。

3.5)得到子网的所有子资源控制库所。

4).为了使得最终的系统满足有活性，所以要求子资源控制库所中的资源个数和资源库所个数的关系满足以下条件。

证明：子网中的每个资源竞争路径的使能都受到子资源控制库所的限制，对于满足

条件的子资源控制库所子网来说它的每条资源竞争路径都是有足够资源使其使能，所以添加子资源控制库后的子网是活的。

其中当一组资源竞争路径大于三时，要添加多个子资源控制库所，此时会涉及到添加资源竞争路径的优先级问题。因为在合成网中主路径的使能优先级大于次路径的优先级，为了不让系统在一开始就出现死锁以及后期的死锁预防，所以首先要保证使能优先级较高的路径能够使能不出现时死锁，同时限制先使能的路径占用的资源个数。所以在添加优先级法则：首先为主路径添加，然后在为次路径添加，换句话说，主路径的优先级大于次路径的优先级。

步骤S103，将子网、子资源控制库所按照共同变迁合成，合成网满足活性中。具体包括：

限制1：在每个共同变迁中，最多存在一个输入库所是操作库所。

限制2：共同变迁子网中不包含资源库所。

限制3：在每个子网中必须至少存在一个主路径。

限制4：每个子网中的资源竞争路径的集合和合成网中的资源竞争路径集合要完全相同。

作为本发明优选实施例，限制1中，当子网合成时能够把资源分配给包含资源库所使能的变迁所在的路径，因为资源库所是在初始状态唯一被标记的库所。如果没有该限制那么任意一个路径都可以优先使能，那么使能的顺序会有很难确定，对于更复杂系统来说是灾难性的问题。一个标记的资源库所表示资源是可用的，表明已经将资源分配给某些库所的操作是由这些子网中的操作库所表示的，共同变迁子网中当然应该排除资源库所，因此限制2是很有必要的。

主路径是系统中优先使能的路径，若不存在主路径系统在初始状态就会存在永远不能使能的变迁，使得系统出现死锁甚至系统瘫痪，所以限制3也是很有必要的。如图5所示，系统中无主路径，都是次路径，导致t₁无法使能从而导致t₂，t₃无法使能。

作为优选实施例，限制4是为了避免合成的大网中存在子网中没有的资源竞争路径。因为本文采用的子资源控制库所方法是通过为子网中的资源竞争路径的来限制资源个数的，所以若合成网中有子网中不存在的资源竞争路径会使得合成网中出现一些意想不到的特性，有可能导致死锁，甚至是更严重的后果。

以上是合成网的合成规则，如图6(a)-(c)所示，是满足以上合成规则的合成网，接下来按照上述提到过的GMEC的扩展方法分别为图6(a)-(b)所示的两个子系统添加子资源控制库所。首先为图6(a)添加，按照资源竞争路径的定义，可得关于资源库所p₉的一对资源路径

和{t₆,p₇,t₈}，所以需要添加一个子资源控制库所。通过GMEC方法得N_RC1＝-t₁+t₄；M_RC1＝n₁，所以得到的子资源控制库所如图6(a)，同理得到图6(b)子网的子资源控制库所，将得到的子资源控制库所和子网合成得到最终的合成网如图6(c)所示。为了使得合成网满足活性，资源分布情况应该满足第二部分4.中提到的资源不等式条件(n₁＜n_A)∧(n₂＜n_B)。

下面结合具体实施例对本发明作进一步描述。

实施例1

图7表示的是一个AMS系统的网络结构模型的子网和合成网，子系统中的装配结构由三个独立的并行过程组成。

图7(a)-(e)表示的是子网，图(f)是各子网的子资源控制库所的结构，其中子网(c)不存在资源竞争情况所以没有资源竞争路径，所以不需要添加子资源控制库所。图7(g)是最终的合成网满足活性，子资源控制库所和资源库所中的资源个数满足以下条件：

(n₁＜n_A)∧(n₂＜n_B)∧(n₃＜n_C)∧(n₄＜n_D)。

在没有添加子资源控制库所的合成网中，会因为资源分配不当产生死锁。当t₁连续发射n_A次，t₆连续发射n_B次,出现死锁状态(n_A·p₃+n_A·p₄+n_A·p₅+n_B·p₇+n_B·p₁₁+n_B·p₁₂)。此状态下要使t₄变迁发射需要t₁₀变迁发射，t₁₀要发射t₇必须发射，t₇要发射t₅必须发射，t₅要发射t₄必须发射，t₄和t₇出现资源循环等待，导致系统死锁。同理当t₁₁连续发射n_C次，t₁₆连续发射n_D次，t₁₄和t₁₇出现资源循环等待，导致死锁，系统不满足活性。当为各个子网添加子资源控制库所后，要使t₁连续发射n_A次，t₆连续发射n_B次后不出现死锁，t₄和t₇必须不能出现资源循环等待。当满足(n₁＜n_A)∧(n₂＜n_B)这个条件时，t₁使能的上限是n₁次，t₆使能的上限是n₂次，又n₁＜n_A；n₂＜n_B，所以此时p₁₃和p₁₄中有冗余的资源使t₄和t₇使能，此时不会出现资源循环等待导致的死锁情况，系统是活的。同理，当满足(n₃＜n_C)∧(n₄＜n_D)这个条件时，t₁₄和t₁₇不会出现资源循环等待导致的死锁情况。

综上分析，当子资源控制库所和资源库所中的资源个数满足(n₁＜n_A)∧(n₂＜n_B)∧(n₃＜n_C)∧(n₄＜n_D)条件关系，合成网系统是活的。

实施例2

如图8所示，按照子网中的资源竞争情况得到子资源控制库所，然后合成后就的得到了最终的合成网。其中P_rc1-p_rc6是按照每个子网中的资源竞争情况及GMEC扩展方法得到的六个子资源控制库所，资源分配情况满足以下条件，则合成网满足活性：

(n₁＜n_A)∧(n₂+n₃+n₄＜n_B)∧(n₅+n₆＜n_C)。

满足上述关系后，系统中t₃和t₆、t₁₃和t₁₆之间不会出现资源循环等待，所以系统满足活性。

在上述实施例中，可以全部或部分地通过软件、硬件、固件或者其任意组合来实现。当使用全部或部分地以计算机程序产品的形式实现，所述计算机程序产品包括一个或多个计算机指令。在计算机上加载或执行所述计算机程序指令时，全部或部分地产生按照本发明实施例所述的流程或功能。所述计算机可以是通用计算机、专用计算机、计算机网络、或者其他可编程装置。所述计算机指令可以存储在计算机可读存储介质中，或者从一个计算机可读存储介质向另一个计算机可读存储介质传输，例如，所述计算机指令可以从一个网站站点、计算机、服务器或数据中心通过有线(例如同轴电缆、光纤、数字用户线(DSL)或无线(例如红外、无线、微波等)方式向另一个网站站点、计算机、服务器或数据中心进行传输)。所述计算机可读取存储介质可以是计算机能够存取的任何可用介质或者是包含一个或多个可用介质集成的服务器、数据中心等数据存储设备。所述可用介质可以是磁性介质，(例如，软盘、硬盘、磁带)、光介质(例如，DVD)、或者半导体介质(例如固态硬盘SolidState Disk(SSD))等。

以上所述仅为本发明的较佳实施例而已，并不用以限制本发明，凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等，均应包含在本发明的保护范围之内。

Claims (10)

1.一种基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，所述基于Petri网的资源共享装配操作系统活性构建方法包括以下步骤：

步骤一，将装配结构的Petri子网按照资源的竞争情况分解；

步骤二，计算步骤一子网中需要添加的子资源控制库所的结构；

步骤三，分析子网的合成规则，并限制子资源控制库所和资源库所的资源个数关系，使得到的合成网满足活性。

2.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤一，装配结构的Petri子网包括：N＝(P,T,F,W)，其中P是库所集合，T是变迁集合，

是有向弧或数据流关系的集合；W:(P×T)∪(T×P)→N，W表示一个映射，为Petri网N的权函数，且为每一条有向弧分配一个权值，其中N＝{1,2,3...}表示自然数集合；当W:→{1}并且

|·P|＝|P·|＝1。

3.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤一，装配结构的Petri子网包括B(t_s,t_e)，B满足：

|t·s|≥1；

|·te|≥1；在t_s和t_e之间的子网中没有回路，则B为一个MG-block；用

表示MG-block开始于变迁t_s，结束于变迁t_e。

4.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤一，装配结构的Petri子网中的有向路径L，满足以下条件：

|t·s|≥1；2)

|·te|≥1；则L为资源库所Pr的一组资源竞争路径。

5.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤一按照资源的竞争情况分解方法进一步包括：

C＝(P,T,F,W)为由子系统组成的合成网，C_i＝(P_i,T_i,F_i,W_i)表示子网系统；若装配结构的Petri子网中的资源竞争路径在合成网中满足

并且

则为主路径；若满足

并且

则为次路径。

6.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤二中，采用GMEC方法为子网添加子资源控制库所sub-RCP；具体包括：

1)，查询子网中的资源竞争路径，按照资源竞争路径的定义查找符合定义的路径；

2)，计算子系统中要添加的子资源控制库所的个数；装配结构的Petri子网中有n条资源竞争路径，添加n-1个子资源控制库所；通过前n-1个子资源控制库所使得前n-1个资源控制路径中的资源分配合理，还使得第n个资源路径的资源够用；

3)，建立约束

用M_RCi(p)表示子资源控制库所中的资源个数以及用M(Pr)表示资源库所中的资源个数；

4)，子资源控制库所中的资源个数和资源库所个数的关系满足以下条件，

7.如权利要求6所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤3)具体包括：

3.1)P∈Po∧M_Ri(p)＝0，则l_i(p)＝0；否则l_i(p)≠0；

3.2)装配结构的Petri子网中的资源竞争路径中的t_s和t_e之间由单个过程组成，则l_i(p)＝1；装配结构的Petri子网中的资源竞争路径中的t_s和t_e之间由n个独立的并发过程组成，则l_i(p)＝1/n；

3.3)计算子资源控制库所sub-RCP的结构设计及库所中的托肯数；

其中N是关联矩阵；

3.4)让i＝i+1；回到第步骤3.1)步继续循环，直到i＞n-1；

3.5)得到装配结构的Petri子网的所有子资源控制库所。

8.如权利要求1所示的基于Petri网的资源共享装配操作系统活性构建方法，其特征在于，步骤三，将子网、子资源控制库所按照共同变迁合成，合成网满足活性中，具体包括：

限制1：在每个共同变迁中，最多存在一个输入库所是操作库所；

限制2：共同变迁子网中不包含资源库所；

限制3：在每个子网中必须至少存在一个主路径；

限制4：每个子网中的资源竞争路径的集合和合成网中的资源竞争路径集合完全相同；

最终的合成网满足活性中，子资源控制库所和资源库所中的资源个数满足以下条件：

(n₁＜n_A)∧(n₂＜n_B)∧(n₃＜n_C)∧(n₄＜n_D)。

9.一种计算机可读存储介质，储存有指令，当所述指令在计算机上运行时，使得计算机执行如权利要求1～8任意一项所述的基于Petri网的资源共享装配操作系统活性构建方法。

10.执行如权利要求1～8任意一项所述基于Petri网的资源共享装配操作系统活性构建方法的自动制造系统。

Images