基于标签时间Petri网的自动制造系统初始资源优化配置方法技术方案

本发明专利技术公开了基于标签时间Petri网的自动制造系统初始资源优化配置方法，包括以下步骤：S1、建立自动制造系统的标签时间Petri网模型；S2、针对已知的任务序列，提出改进的极小初始标识估计算法；S3、对极小初始标识进行初始化处理，并构建其相应的基于路径的修正状态类图(pathmodified stateclassgraph，PMSCG)；S4、在PMSCG基础上通过求解线性规划问题得到系统的最小初始状态估计。本发明专利技术采用上述的基于标签时间Petri网的自动制造系统初始资源优化配置方法，提供了自动制造系统的初始资源最优分配方案，能够合理配置初始资源，减少生产成本，提高制造系统的经济效益。提高制造系统的经济效益。提高制造系统的经济效益。

【技术实现步骤摘要】
基于标签时间Petri网的自动制造系统初始资源优化配置方法


[0001]本专利技术涉及工业制造
，尤其是涉及基于标签时间Petri网的自动制造系统初始资源优化配置方法。

技术介绍

[0002]现实生活中一个自动制造系统可以看作是若干制造活动的集合，这些制造活动通过资源来实施，最终生产出合格的产品。这些活动(加工工序)包括工件加工、运输和包装等。资源可以是原材料、人和机器等。在自动制造系统的工艺流程中，不同加工工序和资源的关系，包括不同工序间的优先级，甚至是资源充足下工序之间的并行关系，都可以抽象成为离散事件系统(discrete event systems，DES)进行研究。作为DES的主要建模工具，Petri网能准确描述系统中并发、异步、冲突和相互制约关系，被广泛应用于制造系统的故障诊断和状态估计。
[0003]在实际的自动制造系统中，对于系统初始资源的配置问题往往作为企业节约成本、提高经济效益的主要问题来源。若系统的初始资源分配不合理可能会导致资源利用率低，所以许多学者将初始资源的配置问题抽象为Petri网的初始状态估计问题。如徐淑琳等在文献《标注Petri网中最小初始标识估计》中，为获得制造系统初始化时资源的最优分配方案，采用标注Petri网对系统进行建模，在不可观变迁组成无环网的情况下，基于观察到的标注序列，研究了标注Petri网的最小初始标识估计问题。然而，该方法对于不可比较的极小初始标识和路径保存不完整，因此需要进一步优化极小初始标识估计算法。其次，该文献没有考虑时间因素对初始标识估计的影响，严格限制了Petri网在实时系统中的应用。对于依赖时间的自动制造系统而言，时间信息对分析系统状态具有重要的作用。因此，采用时间Petri网对系统进行建模。
[0004]由于时间维度的添加，时间Petri网系统的状态空间变得无限大，因此Francesco Basile等人在文献《State Estimation and Fault Diagnosis ofLabeled Time Petri Net Systems With Unobservable Transitions》中，通过构建时间Petri网系统的修正状态类图(modified state class graph，MSCG)来表征无限的状态空间，并在MSCG基础上提出了一种在线求解线性规划问题的状态估计算法。但是在构建MSCG时，图形规模随系统的复杂度呈指数型增大，因此，需进一步优化MSCG的构建算法。

技术实现思路

[0005]有鉴如此，为了解决上述问题，本专利技术在原有极小初始标识估计算法上加以改进，并且在原有构建MSCG算法上进一步优化，提出了基于标签时间Petri网的自动制造系统初始资源优化配置方法。
[0006]为实现上述目的，本专利技术提供了基于标签时间Petri网的自动制造系统初始资源优化配置方法，包括以下步骤：
[0007]S1、建立自动制造系统的标签时间Petri网模型；
[0008]S2、针对已知的任务序列，提出改进的极小初始标识估计算法；
[0009]S3、极小初始标识进行初始化处理，并构建其相应的基于路径的修正状态类图(path modified state class graph，PMSCG)；
[0010]S4、在PMSCG基础上通过求解线性规划问题得到系统的最小初始状态估计。
[0011]进一步的，所述步骤S1包括：利用标签时间Petri网对自动制造系统建模，其中，Petri网定义为N＝(P,T,A,F)，库所集P表示制造系统中的资源存放的空间，变迁集T表示制造系统中的各个工序，库所与变迁间的有向弧集A表示系统中资源流动的方向，并用权重函数F:A
→
{1,2,3,
…
}表示资源流动的规则。
[0012]进一步的，Petri网的关联矩阵定义为W＝W
+
‑
W
‑
，W
‑
是前置关联矩阵，W
+
是后置关联矩阵；Petri网的标识M＝[M(p1),M(p2),
…
,M(p
n
)]表示系统实时的资源配置情况，M(p
i
)代表库所p
i
中的托肯(token)数，一个托肯代表一个资源，其中i＝1,2,
…
,n；M0称为Petri网的初始标识；此外，在标签时间Petri网中，变迁的静态发射区间I(t)＝[α,β]表示工序的加工时间，不同的工序可以具有相同的标签即t
i
∈T,t
j
∈T,L(t
i
)＝L(t
j
)＝γ，T
γ
表示与标签γ对应的变迁集合；在初始标识M0下具有使能的变迁集表示为E(M0)＝{t∈T|M0≥W
‑
(:,t)}；同时，用初始状态S0＝(M0,Θ0)表示初始阶段系统资源的配置情况和相应配置下工序的加工时间，其中M0为系统的初始标识，为在初始标识M0下的使能变迁的静态发射区间集；用时间变迁序列σ＝(t
i1
,η
i1
)(t
i2
,η
i2
)
…
(t
ik
,η
ik
)表示工序序列和对应的工序完成时间，若不考虑工序的完成时间，利用逻辑变迁序列(简称路径)表示工序序列；用时间标签序列δ＝(γ1,η1)(γ2,η2)
…
(γ
k
,η
k
)表示已知的任务序列和相应的观测时间，若不考虑观测时间，利用逻辑标签序列表示已知的任务序列。
[0013]进一步的，所述步骤S2包括：针对原有极小初始标识估计算法对不可比较的极小初始标识和路径保存不完整的问题，在任务序列已知的情况下，本专利技术提出一种改进的极小初始标识估计算法，得到与逻辑标签序列一致的极小初始标识集和相应路径。
[0014]进一步的，所述在改进的极小初始标识估计算法中，对于第j阶段，R表示单个节点，Φ(j)表示所有节点的集合，在算法迭代过程中某个节点的信息用一个二元组R＝(φ,Λ
ini
)表示，其中φ是在迭代到第j个标签后不同路径对应的发射向量；Λ
ini
表示与φ相关的集合。在集合Λ
ini
中分别表示与φ相关的初始标识及其对应的路径集，得到相同初始标识M0的不同路径构成了路径集
[0015]具体包括：
[0016]输入：标签时间Petri网和逻辑标签序列
[0017]S21、初始化集合
[0018]S22、考虑第j∈{1,2,
…
,k}阶段的标签γ
j
，并令
[0019]S23、读取第j
‑
1阶段的集合中的所有节点R∈Φ(j
‑
1)；对于R中所有初始标识、相应路径以及满足的变迁本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.基于标签时间Petri网的自动制造系统初始资源优化配置方法，其特征在于：包括以下步骤：S1、建立自动制造系统的标签时间Petri网模型；S2、针对已知的任务序列，提出改进的极小初始标识估计算法；S3、极小初始标识进行初始化处理，并构建其相应的基于路径的修正状态类图(pathmodified state class graph，PMSCG)；S4、在PMSCG基础上通过求解线性规划问题得到系统的最小初始状态估计。2.根据权利要求1所述的基于标签时间Petri网的自动制造系统初始资源优化配置方法，其特征在于：所述步骤S1包括：利用标签时间Petri网对自动制造系统建模，其中，Petri网定义为N＝(P,T,A,F)，库所集P表示制造系统中的资源存放的空间，变迁集T表示制造系统中的各个工序，库所与变迁间的有向弧集A表示系统中资源流动的方向，并用权重函数F:A
→
{1,2,3,...}表示资源流动的规则。3.根据权利要求2所述的基于标签时间Petri网的自动制造系统初始资源优化配置方法，其特征在于：Petri网的关联矩阵定义为W＝W
+
‑
W
‑
，W
‑
是前置关联矩阵，W
+
是后置关联矩阵；Petri网的标识M＝[M(p1),M(p2),
…
,M(p
n
)]表示系统实时的资源配置情况，M(p
i
)代表库所p
i
中的托肯(token)数，一个托肯代表一个资源，其中i＝1,2,
…
,n；M0称为Petri网的初始标识；此外，在标签时间Petri网中，变迁的静态发射区间I(t)＝[α,β]表示工序的加工时间，不同的工序可以具有相同的标签即t
i
∈T,t
j
∈T,L(t
i
)＝L(t
j
)＝γ，T
γ
表示与标签γ对应的变迁集合；在初始标识M0下具有使能的变迁集表示为E(M0)＝{t∈T|M0≥W
‑
(:,t)}；同时，用初始状态S0＝(M0,Θ0)表示初始阶段系统资源的配置情况和相应配置下工序的加工时间，其中M0为系统的初始标识，为在初始标识M0下的使能变迁的静态发射区间集；用时间变迁序列表示工序序列和对应的工序完成时间，若不考虑工序的完成时间，利用逻辑变迁序列(简称路径)表示工序序列；用时间标签序列δ＝(γ1,η1)(γ2,η2)
…
(γ
k
,η
k
)表示已知的任务序列和相应的观测时间，若不考虑观测时间，利用逻辑标签序列表示已知的任务序列。4.根据权利要求1所述的基于标签时间Petri网的自动制造系统初始资源优化配置方法，其特征在于：所述步骤S2包括：针对原有极小初始标识估计算法对不可比较的极小初始标识和路径保存不完整的问题，在任务序列已知的情况下，本发明提出一种改进的极小初始标识估计算法，得到与逻辑标签序列一致的极小初始标识集和相应路径。5.根据权利要求4所述的基于标签时间Petri网的自动制造系统初始资源优化配置方法，其特征在于：所述在改进的极小初始标识估计算法中，对于第j阶段，R表示单个节点，Φ(j)表示所有节点的集合，在算法迭代过程中某个节点的信息用一个二元组R＝(φ,Λ
ini
)表示，其中φ是在迭代到第j个标签后不同路径对应的发射向量；Λ
ini
表示与φ相关的集合。在集合Λ
ini
中分别表示与φ相关的初始标识及其对应的路径集，得到相同初始标识M0的不同路径构成了路径集具体包括：
输入：标签时间Petri网和逻辑标签序列S21、初始化集合S22、考虑第j∈{1,2,...,k}阶段的标签γ
j
，并令S23、读取第j
‑
1阶段的集合中的所有节点R∈Φ(j
‑
1)；对于R中所有初始标识、相应路径以及满足的变迁，计算初始标识M0′
＝max{M0+W
·
R.φ,W
‑
(:,t)}
‑
W
·
R.φ和发射向量并拼接路径#表示在现...

【专利技术属性】
技术研发人员：黎良，王琛，
申请(专利权)人：武汉科技大学，
类型：发明
国别省市：