A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets

doi:10.1080/00207721.2020.1737268

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

	A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
	Shaoyong, Li; Chunrun, Zhao
刊名	International Journal of Systems Science
	2020-04-03
卷号	51 期号:5 页码:771-785
关键词	Flexible manufacturing systems Linear programming Control place Controlled system Deadlock marking Deadlock prevention policy Linear programming problem Number of state Reachability graphs Sequence number
ISSN号	00207721
DOI	10.1080/00207721.2020.1737268
英文摘要	This paper develops a concept of control transition equation (CTE) and the corresponding deadlock control algorithm (DCA) using control transitions (CTs) to eliminate deadlocks in Petri nets. By analysing the reachability graph (RG) of an original net (Formula presented.) with deadlocks, this DCA firstly find all deadlock markings (DMs) and then the corresponding CTs are solved on the basis of the proposed CTE. Secondly, a linear programming problem that can minimise the number of CTs is applied to these CTs. In addition, in order to furtherly simplify the structure of these CTs, the reconstruction of the necessarily added CTs is performed by a circulating sequence number method. Finally, a live controlled system (Formula presented.) with the simpler structure is obtained by adding the desired CTs to (Formula presented.), which can reach the same number of states as the original plant model (Formula presented.), i. e. live maximally reachable number. The proposed DCA is different from deadlock prevention policies using control places (CPs) in most existing literature and whose correctness and efficiency are verified via the theoretical analysis and the relevant several examples. © 2020, © 2020 Informa UK Limited, trading as Taylor & Francis Group.
WOS研究方向	Automation & Control Systems ; Computer Science ; Operations Research & Management Science
语种	英语
出版者	Taylor and Francis Ltd.
WOS记录号	WOS:000526470700001
内容类型	期刊论文
源URL	[http://ir.lut.edu.cn/handle/2XXMBERH/150713]
专题	土木工程学院
作者单位	School of Civil Engineering, Lanzhou University of Technology, Lanzhou, China
推荐引用方式 GB/T 7714	Shaoyong, Li,Chunrun, Zhao. A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets[J]. International Journal of Systems Science,2020,51(5):771-785.
APA	Shaoyong, Li,&Chunrun, Zhao.(2020).A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets.International Journal of Systems Science,51(5),771-785.
MLA	Shaoyong, Li,et al."A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets".International Journal of Systems Science 51.5(2020):771-785.