一种基于Petri网的柔性制造系统禁止状态控制器设计方法技术方案

本发明专利技术提供了一种基于Petri网的柔性制造系统禁止状态控制器设计方法。该方法包括以下步骤：

【技术实现步骤摘要】
一种基于Petri网的柔性制造系统禁止状态控制器设计方法


[0001]本专利技术涉及柔性制造系统
，具体地说是一种基于Petri网的柔性制造系统禁止状态控制器设计方法。

技术介绍

[0002]柔性制造系统发展日趋复杂，由于技术条件或成本过高问题，使得其中存在某些自动加工过程不可被外部系统观测或不可被控制的过程，使得系统容易到达不被允许的运行状态。对于实际系统而言，由于现有的观测技术水平有限，事件观测成本过高及传感器、线路故障等原因，不可观事件以及不可控事件的存在不可避免。为保证柔性制造系统正常安全运行亦或是考虑系统经济效益问题，研究同时存在不可观测和不可控制加工过程的柔性制造系统的禁止状态控制问题，显得十分必要。但是目前存在的控制策略，涉及到的约束方法应用范围较窄，且需要对系统进行可达分析，导致计算复杂度较高、计算量偏大，不适用于结构复杂的柔性制造系统。

技术实现思路

[0003]本专利技术的目的是提供一种基于Petri网的柔性制造系统禁止状态控制器设计方法，以解决现有柔性制造系统中同时含有不可观测和不可控制加工过程中的禁止状态问题，提高控制策略的实用性。
[0004]本专利技术是这样实现的：一种基于Petri网的柔性制造系统禁止状态控制器设计方法，包括以下步骤：
[0005]a、根据柔性制造系统流程以及给定的生产规范，构建相应的Petri网模型(N,m0)和线性约束条件(w,k)，其中，N＝(P,T,F,K)，P代表库所p的集合，T代表变迁t的集合，是流关系，m0表示实际系统的初始资源分配，K为有向弧的权值函数，w是库所权值向量，k是非负整数；
[0006]b、根据步骤a中Petri网的结构特征和线性约束条件得到整数线性规划问题，本步骤具体如下：
[0007]b
‑
1、将Petri网模型(N,m0)中所有库所的权值之和的最小值作为目标函数，即|P|代表集合P中库所个数，w(p
i
)代表库所p
i
的权值，p
i
∈P；
[0008]b
‑
2、令转换后每个变迁t的权值为α(t)，t
*
表示变迁t的后置集，
*
t表示变迁t的前置集；t
*
＝{y∈P∪T|(t,y)∈F},
*
t＝{y∈P∪T|(y,t)∈F}；
[0009]b
‑
3、构建约束条件：
①
对于所有库所p∈P，均有w
*
(p)≥w(p)，w
*
(p)代表约束转换后库所p的权值；
②
对于任意不可控变迁，均有约束转换后变迁t的权值α
*
(t)≤0；
③
对于任意不可观变迁，均有约束转换后变迁t的权值α
*
(t)＝0；
[0010]c、求解上述线性规划问题，得到约束转换后的线性约束条件为(w
*
,k)，w
*
为约束转换后库所权值；
[0011]d、在原Petri网模型中添加控制库所p
c
，本步骤具体如下：
[0012]d
‑
1、根据转换后的约束条件(w
*
,k)，求出转换后每一变迁t的权值α
*
(t)；
[0013]d
‑
2、对于任意变迁t，若转换后变迁的权值α
*
(t)＞0，则画一条由控制库所p
c
指向变迁t的弧，并为其赋值为|α
*
(t)|；若转换后变迁的权值α
*
(t)＜0，则画一条由变迁t指向控制库所p
c
的弧，并为其赋值为|α
*
(t)|；
[0014]d
‑
3、将添加控制库所p
c
以及弧后，同原Petri网模型一起构成新的Petri网模型记为为均有控制库所p
c
中的初始标识
[0015]当变迁所对应的事件能够被执行机构控制时，则称其为可控变迁，否则为不可控变迁；当变迁对应事件的发生能被传感器观测到时，则称此变迁为可观变迁，否则为不可观变迁；线性约束是基于资源有限提出的，其表示Petri网内各个库所中的资源加权和不超过某一个正整数。
[0016]针对柔性制造系统中同时含不可观测及不可控制加工过程中的禁止状态问题，本专利技术提出了一种基于整数线性规划的控制器综合方法。与现有技术相比，本专利技术的优势主要体现在以下几个方面：
[0017]1.本专利技术提出的方法应用范围更广，能够有效处理同时含不可观测及不可控制加工过程的禁止状态问题。
[0018]2.本专利技术不需要进行可达性分析，因此避免了“状态爆炸”问题。
[0019]3.本专利技术利用整数线性规划方法实现问题高效求解。
[0020]4.能够通过标准的综合技术计算闭环系统模型。
附图说明
[0021]图1为某零件加工设备的Petri网模型。
[0022]图2为含控制库所p
c1
和p
c2
的闭环Petri网
[0023]图3为添加控制器前的模型可达标识仿真结果。
[0024]图4为添加控制器后的模型可达标识仿真结果。
具体实施方式
[0025]为进一步解释本专利技术的目的、技术方案以及优点，下面结合实例进行说明。下文描述的具体实施例仅用来解释本专利技术，并不用于限定本专利技术。
[0026]本实施例以同时加工配件A和配件B的柔性制造系统为例，用以解决系统该如何运行，使生产线上配件A与配件B可以不受干扰的完成加工，以及完成加工后能够进行新一轮加工的问题。本系统中用库所p代表资源或者工序的环节(在图1中用“·”或数字表示)，用变迁t表示某一工序开始或结束的事件(在图1中用矩形表示)。当执行机构能够控制变迁所对应事件时，则称其为可控变迁，否则为不可控变迁(在图1中用灰色填充的矩形表示)；当变迁对应事件的发生能被传感器观测到时，则称此变迁为可观变迁，否则为不可观变迁(在图1中用黑色填充的矩形表示)。本系统中库所及变迁的物理意义如表1所示。
[0027]表1
[0028][0029]本系统中因原材料进入机器加工系统所消耗时间不受控制器控制，所以t2为不可控变迁；加工过程中，由于系统内部构造原因配件A的临时缓存零件可能会流入配件B的临时缓存中，所以t5视为故障处理即不可观变迁。在同时存在不可观和不可控变迁的柔性制造系统中，为了使得系统始终在平稳有序的运行，本专利技术对系统施加了以下控制策略：
[0030]a、根据柔性制造系统流程以及给定的生产规范，构建相应的Petri网模型(N,m0)和线性约束条件(w,k)，其中，N＝(P,T,F,K)，P代表库所p的集合，T代表变迁t的集合，是流关系，m0表示实际系统的初始资源分配，K为有向弧的权值函数，本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于Petri网的柔性制造系统禁止状态控制器设计方法，主要包括以下步骤：a、根据柔性制造系统流程以及给定的生产规范，构建相应的Petri网模型(N，m0)和线性约束条件(w，k)，其中，N＝(P，T，F，K)，P代表库所p的集合，T代表变迁t的集合，是流关系，m0表示实际系统的初始资源分配，K为有向弧的权值函数，w是库所权值向量，k是非负整数；b、根据步骤a中Petri网的结构特征和线性约束条件得到整数线性规划问题，本步骤具体如下：b
‑
1、将Petri网模型(N，m0)中所有库所的权值之和的最小值作为目标函数，即|P|代表集合P中库所个数，w(p
i
)代表库所p
i
的权值，p
i
∈P；b
‑
2、令转换后每个变迁t的权值为α(t)，t
*
表示变迁t的后置集，
*
t表示变迁t的前置集；t
*
＝{y∈P∪T|(t，y)∈F}，
*
t＝{y∈P∪T|(y，t)∈F}；b
‑
3、构建约束条件：
①
对于所有库所p∈P，均有w
*
(p)≥w(p)，w
*
(p)代表约束转换后库所p的权值；
②
对于任意不可控变迁，均有约束转换后变迁t的权值α
*
(t)≤0；
③
对于任意不可观变迁，均有约束转换后变迁t的权值α
...

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