一种基于Petri网的柔性制造系统死锁控制方法技术方案

本发明专利技术公开了一种基于Petri网的柔性制造系统死锁控制方法，该方法包括如下步骤：步骤一：根据柔性制造系统的生产关系，将柔性制造系统抽象为Petri网模型；步骤二：根据共享资源库所将Petri网模型分解为若干子网；步骤三：检测每一个子网死锁状况并为产生死锁的子网添加变迁控制器，恢复其死锁状态；步骤四：将所有无死锁子网和受控子网根据共享资源进行融合，得到一个无死锁的受控网，能够恢复柔性制造系统中的所有死锁标记，识别潜在的问题区域和提高系统性能，通过分治策略，将网模型分解为多个子网进行可达图分析，避免了“状态爆炸”问题，本发明专利技术的控制方式是针对有死锁的子系统逐个添加控制变迁进行实现的，有效降低了控制器的计算复杂性。的计算复杂性。的计算复杂性。

【技术实现步骤摘要】
一种基于Petri网的柔性制造系统死锁控制方法


[0001]本专利技术涉及柔性制造系统控制领域，具体是一种基于Petri网的柔性制造系统死锁控制方法。

技术介绍

[0002]与传统的制造系统不同，柔性制造系统更能够满足现代人群灵活多变的产品需求，但由于资源分配不均、资源不足等情况，柔性制造系统经常会出现死锁问题，因此，近些年科研工作者都致力于解决生产系统中的死锁问题。
[0003]在针对柔性制造系统的死锁问题处理过程中，主要方法是死锁预防、死锁检测与恢复、死锁避免。死锁预防通常是在离线状态下建立一个静态的资源分配系统，使系统不会进入到死锁状态，最主要的优点就是不需要运行时成本；死锁检测与恢复是建立一种死锁监测机制，去抢占死锁中的资源，使系统恢复无死锁的状态；死锁避免是一种在线控制机制，实时检测系统的资源需求情况，使系统远离死锁状态。死锁控制策略大多依赖于对Petri网的分析，但在对Petri网的分析过程中，计算复杂度、结构复杂度以及行为许可性大大影响了Petri网控制器的生成。
[0004]目前，国内外学者对柔性制造系统死锁问题进行了深入研究，但是，在现有研究中，一般都是采用添加控制库所的方式，这种方式得到的控制器会大大抑制系统的行为许可性，并且当柔性制造系统的规模较大时，控制器的计算量会随着网模型的增大而呈指数型增长。

技术实现思路

[0005]本专利技术的目的在于提供一种基于Petri网的柔性制造系统死锁控制方法，以解决上述
技术介绍
中提出的在现有研究中，一般都是采用添加控制库所的方式，这种方式得到的控制器会大大抑制系统的行为许可性，并且当柔性制造系统的规模较大时，控制器的计算量会随着网模型的增大而呈指数型增长的问题。
[0006]为实现上述目的，本专利技术提供如下技术方案：
[0007]一种基于Petri网的柔性制造系统死锁控制方法，包括如下步骤：
[0008]步骤一：根据柔性制造系统的生产关系，将柔性制造系统抽象为Petri网模型(N,M0)；
[0009]步骤二：通过共享资源库所P
S
对原Petri网模型进行分解，分解为若干包含闲置库所的子网；
[0010]步骤三：检测每一个子网是否包含死锁，若含有死锁，则对该子网添加控制器进行控制；
[0011]步骤四：通过共享资源库所对每一个无死锁子网，受控子网依次进行融合。
[0012]作为本专利技术进一步的方案：所述步骤二中具体步骤如下：
[0013]S1：P
S
∈P
R
，每一个资源子网通过共享资源库所P
S
构建一
个共享资源子网N
r
＝(P
Ar
∪r,T
r
,F
r
)，r∈P
R
，T
r
＝{
·
r∪r
·
}，P
Ar
＝{
··
r∩P
A
}(或P
Ar
＝{r
··
∩P
A
})，P
r
＝{r∪P
Ar
}，F
r
＝{((P
r
×
T
r
)∪(T
r
×
P
r
))∩F}；
[0014]S2：构建条件，如果原网分解为子网S2：构建条件，如果原网分解为子网和子网和子网并且共享资源子网N
r
＝(P
Ar
∪r,T
r
,F
r
)，那么必须满足条件
①①②
T1∪T2＝T，T1∩T2＝T
r
；
③
F1∪F2＝F，F1∩F2＝F
r
。
[0015]作为本专利技术再进一步的方案：所述步骤二中具体步骤如下：
[0016]S1：通过工具TINA对子网进行死锁检测；
[0017]S2：若检测到死锁标识，记为M
d
，初始标识为M0，控制器按照ΔM＝M
d
‑
M0的方式计算，其中ΔM也可表示为O(t
ci
)
‑
I(t
ci
)，O(t
ci
)和I(t
ci
)为控制变迁t
ci
的输出与输入
[0018]作为本专利技术再进一步的方案：所述步骤一中：N＝(P,T,F)，P＝P
A
∪P
R
∪P0为库所的集合，T代表变迁的集合，是流关系，M0代表初始标记。
[0019]作为本专利技术再进一步的方案：所述步骤二中：通过共享资源库所P
S
对原Petri网模型进行分解，具体是：首先，选定共享资源库所P
S
；其次，根据步骤b
‑
1和b
‑
2的条件进行分解，分解为两个或两个以上的子网模型，任意一个子网模型都包含与原网相同的闲置库所，资源库所会连同周围的变迁以及工序库所形成一个资源子网。
[0020]作为本专利技术再进一步的方案：所述步骤三中：目标标识M
d
是从初始标识M0开始通过
[0021]一组变迁序列u1u2...u
d
的发生到达的。那么M
d
可以被表达为
[0022]作为本专利技术再进一步的方案：所述步骤四中：将共享资源子网的受控子网进行合并时，由于添加了控制变迁，需要对合并的方式进行考虑。若共享资源子网为N
r
，受控子网和N
r
＝(P
r
,T
r
,F
r
,W
r
)，)，合并后的融合网融合后需要满足条件
①①②ꢀ
T
m
＝T1∪T
2 ；
ꢀ③ꢀ
F
m
＝F1∪F
2 ；
ꢀ④
[0023][0024]与现有技术相比，本专利技术的有益效果是：
[0025]1、本专利技术能够恢复柔性制造系统中的所有死锁标记，识别潜在的问题区域和提高系统性能；
[0026]2、本专利技术通过分治策略，将网模型分解为多个子网进行可达图分析，避免了“状态爆炸”问题；
[0027]3、本专利技术的控制方式是针对有死锁的子系统逐个添加控制变迁进行实现的，有效降低了控制器的计算复杂性。
附图说明
[0028]图1为某柔性制造系统零件生产流程示意图。
[0029]图2为本专利技术实施例中根据柔性制造系统所构建的Petri网的结构示意图。
[0030]图3为本专利技术实施例中柔性制造系统分解后的子网结构图(a)。
[0031]图4为本专利技术实施例中柔性制造系统分解后的子网结构图(b)。
[本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于Petri网的柔性制造系统死锁控制方法，其特征在于：包括如下步骤：步骤一：根据柔性制造系统的生产关系，将柔性制造系统抽象为Petri网模型(N,M0)；步骤二：通过共享资源库所P
S
对原Petri网模型进行分解，分解为若干包含闲置库所的子网；步骤三：检测每一个子网是否包含死锁，若含有死锁，则对该子网添加控制器进行控制；步骤四：通过共享资源库所对每一个无死锁子网，受控子网依次进行融合。2.根据权利要求1所述的基于Petri网的柔性制造系统死锁控制方法，其特征在于：所述步骤二中具体步骤如下：S1：P
S
∈P
R
，每一个资源子网通过共享资源库所P
S
构建一个共享资源子网N
r
＝(P
Ar
∪r,T
r
,F
r
)，r∈P
R
，T
r
＝{
·
r∪r
·
}，P
Ar
＝{
··
r∩P
A
}(或P
Ar
＝{r
··
∩P
A
})，P
r
＝{r∪P
Ar
}，F
r
＝{((P
r
×
T
r
)∪(T
r
×
P
r
))∩F}；S2：构建条件，如果原网分解为子网S2：构建条件，如果原网分解为子网和子网和子网并且共享资源子网N
r
＝(P
Ar
∪r,T
r
,F
r
)，那么必须满足条件
①①②
T1∪T2＝T，T1∩T2＝T
r
；
③
F1∪F2＝F，F1∩F2＝F
r
。3.根据权利要求1所述的基于Petri网的柔性制造系统死锁控制方法，其特征在于：所述步骤二中具体步骤如下：S1：通过工具TINA对子...

【专利技术属性】
技术研发人员：冉宁，彭炀炀，郝晋渊，张照彦，张少康，郝真鸣，
申请(专利权)人：河北大学，
类型：发明
国别省市：