基于Petri网的离散事件系统初始资源优化配置

doi:10.3969/j.issn.1000-1565.2020.02.015

河北大学学报(自然科学版) ›› 2020, Vol. 40 ›› Issue (2): 212-217.DOI: 10.3969/j.issn.1000-1565.2020.02.015

基于Petri网的离散事件系统初始资源优化配置

郝真鸣¹,孙丹丹¹,郝晋渊²,陈凡¹,葛卫华¹,李兵兵¹,冉宁¹

收稿日期:2019-10-17 出版日期:2020-03-25 发布日期:2020-03-25
通讯作者: 冉宁(1987—),男,河北承德人,河北大学讲师,博士,主要从事智能系统与控制、系统优化等研究.E-mail:ranning87@hotmail.com
作者简介:郝真鸣(1964—),男,山西寿阳人,河北大学正高级工程师,主要从事自动化控制、检测技术等研究. E-mail:hbdxhzm@163.com
基金资助:
国家自然科学基金资助项目(61903119);河北省自然科学基金资助项目(F2019201088);河北省引进留学人员资助项目(C20190319);河北大学“一省一校”专项基金资助项目(801260201137)

Initial resource optimization allocation of discrete event systems using Petri nets

HAO Zhenming¹,SUN Dandan¹,HAO Jinyuan²,CHEN Fan¹,GE Weihua¹,LI Bingbing¹,RAN Ning¹

1.College of Electronic Informational Engineering, Hebei University, Baoding 071002, China; 2.HBU/UCLAN School of Media, Communication and Creative Industries, Hebei University, Baoding 071000, China

Received:2019-10-17 Online:2020-03-25 Published:2020-03-25

摘要/Abstract

摘要： 资源优化配置技术能够在系统执行任务之前提供合理的资源分配方案,以满足预先设定的生产目标、成本等约束条件,对于节约成本、提高经济效益具有重要意义.本文基于Petri网研究离散事件系统的初始资源优化配置问题.首先,根据Petri网的结构化特性将初始资源优化配置问题抽象为整数线性规划问题;其次,利用Lingo等软件求解初始资源优化配置问题;最后,利用实例对提出的方法进行验证.实验结果表明,提出的方法简单,高效,具有重要的实际意义.

关键词: 离散事件系统, 资源配置, Petri网, 整数线性规划

Abstract: The technology of resource optimization allocation can provide a reasonable resource allocation scheme to meet the pre-set production target,cost and other constraints before the system performs the task,which is of great significance for saving cost and improving economic benefit.This paper studies the initial resource optimization allocation problem of discrete event systems using Petri nets.Firstly,the initial resource optimization allocation problem is abstracted into an integer linear programming problem according to the structural characteristics of Petri nets.Secondly,the software such as Lingo is used to solve the initial resource optimization allocation problem.Finally,the proposed method is verified by an example.The experiment results show that the proposed method is simple and efficient which is of important practical significance.

Key words: discrete event system, resource allocation, Petri nets, integer linear programming

中图分类号:

TP11

郝真鸣,孙丹丹,郝晋渊,陈凡,葛卫华,李兵兵,冉宁. 基于Petri网的离散事件系统初始资源优化配置[J]. 河北大学学报(自然科学版), 2020, 40(2): 212-217.

HAO Zhenming,SUN Dandan,HAO Jinyuan,CHEN Fan,GE Weihua,LI Bingbing,RAN Ning. Initial resource optimization allocation of discrete event systems using Petri nets[J]. Journal of Hebei University (Natural Science Edition), 2020, 40(2): 212-217.

参考文献

[1] GIUA A.Petri nets as discrete event models for supervisory control[D].Troy,NY,USA:Rensselaer Polytechnic Institute,1992.
[2] COLOM J M.The resource allocation problem in flexible manufacturing systems[M] //Applications and Theory of Petri Nets 2003.Berlin,Heidelberg: Springer Berlin Heidelberg,2003: 23-35.DOI:10.1007/3-540-44919-1_3.
[3] 王时龙,宋文艳,康玲,等.云制造环境下的制造资源优化配置研究[J].计算机集成制造系统,2012,18(7): 1396-1405.DOI:10.13196/j.cims.2012.07.55.wangshl.009.
[4] RAN N,SU H Y,GIUA A,et al.Codiagnosability analysis of bounded petri nets[J].IEEE Transactions on Automatic Control,2018,63(4): 1192-1199.DOI:10.1109/tac.2017.2742659.
[5] RAN N,GIUA A,SEATZU C.Enforcement of diagnosability in labeled petri nets via optimal sensor selection[J].IEEE Transactions on Automatic Control,2019,64(7): 2997-3004.DOI:10.1109/tac.2018.2874020.
[6] AMMOUR R,LECLERCQ E,SANLAVILLE E,et al.Fault prognosis of timed stochastic discrete event systems with bounded estimation error[J].Automatica,2017,82: 35-41.DOI:10.1016/j.automatica.2017.04.028.
[7] YIN X.Verification of prognosability for labeled petri nets[J].IEEE Transactions on Automatic Control,2018,63(6): 1828-1834.DOI:10.1109/tac.2017.2756096.
[8] YOU D,WANG S G,SEATZU C.Verification of fault-predictability in labeled petri nets using predictor graphs[J].IEEE Transactions on Automatic Control,2019,64(10): 4353-4360.DOI:10.1109/tac.2019.2897272.
[9] RAN N,SU H Y,WANG S G.An improved approach to test diagnosability of bounded petri nets[J].CAA Journal of Automatica Sinica,2017,4(2): 297-303.DOI:10.1109/jas.2017.7510406.
[10] YOU D,WANG S G,DAI W Z,et al.An approach for enumerating minimal siphons in a subclass of petri nets[J].IEEE Access,2018(6): 4255-4265.DOI:10.1109/access.2017.2763783.
[11] WANG S G,YOU D,ZHOU M C.A necessary and sufficient condition for a resource subset to generate a strict minimal siphon in S 4PR[J].IEEE Transactions on Automatic Control,2017,62(8): 4173-4179.DOI:10.1109/tac.2017.2677859.
[12] WANG S G,YOU D,SEATZU C.A novel approach for constraint transformation in petri nets with uncontrollable transitions[J].IEEE Transactions on Systems,Man,and Cybernetics: Systems,2018,48(8): 1403-1410.DOI:10.1109/tsmc.2017.2665479.
[13] 曹蕊,刘祥伟,王丽丽.基于Petri网流程配置的材料采购系统优化分析[J].长春师范大学学报(自然科学版),2017,36(2): 13-18.DOI:10.3969/j.issn.1008-178X(z).2017.02.003.
[14] 杨欣,陈谋,费树岷.资源配置混杂Petri网的混杂系统生产过程动态调度[J].控制理论与应用,2011,28(2): 173-178.
[15] 廖敏,殷国富,罗中先.基于Petri网的制造资源调度工作流模型研究[J].计算机集成制造系统,2004,10(9): 1056-1061,1078.DOI:10.3969/j.issn.1006-5911.2004.09.007.
[16] 宋海翔,张忠能.基于资源约束PETRI网的建模和资源组合优化[J].微型电脑应用,2010,26(9): 60-64.DOI:10.3969/j.issn.1007-757X.2010.09.023.
[17] LI L X,HADJICOSTIS C N.Minimum initial marking estimation in labeled Petri nets[C] //2009 American Control Conference,New York,USA: IEEE,2009.DOI:10.1109/acc.2009.5160266.
[18] MARGOT F.Symmetry in integer linear programming[M] //50 Years of Integer Programming 1958-2008.Berlin,Heidelberg: Springer Berlin Heidelberg,2009: 647-686.DOI:10.1007/978-3-540-68279-0_17.
[19] CABASINO M P,GIUA A,SEATZU C.Fault detection for discrete event systems using Petri nets with unobservable transitions[J].Automatica,2010,46(9): 1531-1539.DOI:10.1016/j.automatica.2010.06.013.

基于Petri网的离散事件系统初始资源优化配置

Initial resource optimization allocation of discrete event systems using Petri nets

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

[1]	郝晋渊,高丽敏,冉宁,黄淼,郝真鸣. 含不可观和不可控变迁Petri网的控制器综合方法[J]. 河北大学学报(自然科学版), 2023, 43(5): 517-524.
[2]	郝真鸣, 李承旺, 张超岩, 冉宁. 一种有界Petri网的可诊断性验证方法[J]. 河北大学学报(自然科学版), 2022, 42(1): 8-15.