Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets

doi:10.1007/s12204-018-2014-x

CORC > 兰州理工大学 > 兰州理工大学 > 土木工程学院

	Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets
	Li, Shaoyong; Wu, Zongli; Li, Hailin; Wei, Xianhong; Cai, Ying; Hou, Caiqin
刊名	Journal of Shanghai Jiaotong University (Science)
	2019-04-01
卷号	24 期号:2 页码:190-195
关键词	Flexible manufacturing systems Petri nets Siphons Deadlock control policy livelocks Mixed integer Mixed integer programming Mixed integer programming (MIP) Petri net systems Sequential systems Shared resources
ISSN号	10071172
DOI	10.1007/s12204-018-2014-x
英文摘要	Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems (FMSs). Current deadlock control policies (DCPs) based on mixed integer programming (MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming (RMIP) method to directly solve the new smart siphons (NSSs) associated with livelocks in a system of sequential systems with shared resources (S4R), a typical subclass of generalized Petri net models. Accordingly, the solved NSSs are max’-controlled by adding the corresponding control places (CPs). As a result, an original S4R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm (CA). © 2018, Shanghai Jiao Tong University and Springer-Verlag GmbH Germany, part of Springer Nature.
语种	英语
出版者	Shanghai Jiao Tong University, 2200 Xietu Rd no.25,, Shanghai, 200032, China
内容类型	期刊论文
源URL	[http://ir.lut.edu.cn/handle/2XXMBERH/113890]
专题	土木工程学院
作者单位	School of Civil Engineering, Lanzhou University of Technology, Lanzhou; 730050, China
推荐引用方式 GB/T 7714	Li, Shaoyong,Wu, Zongli,Li, Hailin,et al. Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets[J]. Journal of Shanghai Jiaotong University (Science),2019,24(2):190-195.
APA	Li, Shaoyong,Wu, Zongli,Li, Hailin,Wei, Xianhong,Cai, Ying,&Hou, Caiqin.(2019).Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets.Journal of Shanghai Jiaotong University (Science),24(2),190-195.
MLA	Li, Shaoyong,et al."Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets".Journal of Shanghai Jiaotong University (Science) 24.2(2019):190-195.