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

doi:10.1007/s12204-018-2014-x

IR > 土木工程学院

	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
	2019-04-01
发表期刊	Journal of Shanghai Jiaotong University (Science)
ISSN	10071172
卷号	24 期号:2 页码:190-195
摘要	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.
关键词	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
DOI	10.1007/s12204-018-2014-x
收录类别	EI
语种	英语
出版者	Shanghai Jiao Tong University, 2200 Xietu Rd no.25,, Shanghai, 200032, China
EI入藏号	20184806143001
EI主题词	Integer programming
EI分类号	619.1 Pipe, Piping and Pipelines - 913.4.1 Flexible Manufacturing Systems - 921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory - 921.5 Optimization Techniques
来源库	Compendex
分类代码	619.1 Pipe, Piping and Pipelines - 913.4.1 Flexible Manufacturing Systems - 921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory - 921.5 Optimization Techniques
引用统计	无
文献类型	期刊论文
条目标识符	https://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.