Initial resource optimization allocation of discrete event systems using Petri nets

doi:10.3969/j.issn.1000-1565.2020.02.015

Abstract

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

CLC Number:

TP11

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.

References

[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.