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

doi:10.1080/00207721.2020.1737268

IR > 土木工程学院

	A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
	Li Shaoyong; Zhao Chunrun
	2020-04-03
发表期刊	INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
ISSN	0020-7721
卷号	51 期号:5 页码:771-785
摘要	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 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 with the simpler structure is obtained by adding the desired CTs to , which can reach the same number of states as the original plant model , 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.
关键词	Petri nets deadlocks control transitions (CTs) control transition equation (CTE) live maximally reachable number (LMRN)
DOI	10.1080/00207721.2020.1737268
收录类别	SCI
语种	英语
WOS研究方向	Automation & Control Systems ; Computer Science ; Operations Research & Management Science
WOS类目	Automation & Control Systems ; Computer Science, Theory & Methods ; Operations Research & Management Science
WOS记录号	WOS:000526470700001
出版者	TAYLOR & FRANCIS LTD
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/64243
专题	土木工程学院
通讯作者	Li Shaoyong
作者单位	Lanzhou Univ Technol, Sch Civil Engn, Lanzhou 730050, Gansu, Peoples R China
第一作者单位	兰州理工大学
通讯作者单位	兰州理工大学
第一作者的第一单位	兰州理工大学
推荐引用方式 GB/T 7714	Li Shaoyong,Zhao Chunrun. 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	Li Shaoyong,&Zhao Chunrun.(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	Li Shaoyong,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.