An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets

doi:10.1177/1687814017734709

IR > 土木工程学院

	An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
	Li, Shaoyong1 ; Wei, Xianhong 1; Cai, Ying1 ; Ma, Bingshan1 ; Hou, Caiqin1 ; Han, Xilian1 ; Hong, Liang 2
	2017-11-24
发表期刊	ADVANCES IN MECHANICAL ENGINEERING
ISSN	1687-8132
卷号	9 期号:11
摘要	Elementary siphons play an important role in designing deadlock prevention policies for flexible manufacturing systems modeling by Petri nets. This article proposes a deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets. First, we solve all elementary siphons and dependent siphons and then add both a control place and a control transition to each elementary siphon so that an extended net system (N', M') is obtained. Second, by constructing an integer programming problem of P-invariants of (N', M'), the controllability test for dependent siphons in N' is performed via this integer programming problem. Accordingly, a few of control places and control transitions are added for those dependent siphons that do not meet controllability as well. Therefore, a live controlled system (N, M) with maximally reachable number rather than number of maximally permissive behavior can be achieved. The correctness and efficiency of the proposed deadlock control algorithm is verified by a theoretical analysis and several examples that belong to ordinary Petri nets. Unlike these deadlock prevention policies with number of maximally permissive behavior in the existing literature, the proposed deadlock control algorithm can generally obtain a live controlled system (N, M) whose reachable number is the same as that of an original uncontrolled net (N-0, M-0), that is, maximally reachable number is greater than number of maximally permissive behavior.
关键词	Flexible manufacturing system Petri nets deadlocks elementary siphons maximally reachable number number of maximally permissive behavior
DOI	10.1177/1687814017734709
收录类别	SCI ; SCIE
语种	英语
资助项目	National Natural Science Foundation of China (NSFC)[61364004] ; China Scholarship Council Foundation[201408625045] ; Shaanxi Provincial Education Department[16JK1342] ; Lanzhou University of Technology[04-237] ; Alumni Foundation Civil Engineering 77, Lanzhou University of Technology[TM-QK1301]
WOS研究方向	Thermodynamics ; Engineering
WOS类目	Thermodynamics ; Engineering, Mechanical
WOS记录号	WOS:000416277900001
出版者	SAGE PUBLICATIONS LTD
引用统计	被引频次：2[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/33017
专题	土木工程学院
通讯作者	Li, Shaoyong
作者单位	1.Lanzhou Univ Technol, Sch Civil Engn, 287 Langongping Rd, Lanzhou 730050, Gansu, Peoples R China; 2.Xian Polytech Univ, Coll Elect & Informat, Xian, Shaanxi, Peoples R China
第一作者单位	兰州理工大学
通讯作者单位	兰州理工大学
第一作者的第一单位	兰州理工大学
推荐引用方式 GB/T 7714	Li, Shaoyong,Wei, Xianhong,Cai, Ying,et al. An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets[J]. ADVANCES IN MECHANICAL ENGINEERING,2017,9(11).
APA	Li, Shaoyong.,Wei, Xianhong.,Cai, Ying.,Ma, Bingshan.,Hou, Caiqin.,...&Hong, Liang.(2017).An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets.ADVANCES IN MECHANICAL ENGINEERING,9(11).
MLA	Li, Shaoyong,et al."An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets".ADVANCES IN MECHANICAL ENGINEERING 9.11(2017).

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
Li-2017-An elementar（542KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览下载