A revised MIP method to deal with livelocks in a class of generalized Petri nets

CORC > 兰州理工大学 > 兰州理工大学 > 理学院

	A revised MIP method to deal with livelocks in a class of generalized Petri nets
	Li, Shaoyong; Che, Yongyi; Liu, Wenqian; Wu, Hongmei; Cai, Ying
	2016
关键词	flexible manufacturing system Petri nets livelocks and deadlock mixed integer programming new smart siphons
页码	19-28
英文摘要	Both deadlocks and livelocks can result in the serious problems in running process of flexible manufacturing systems (FMSs). Current siphon detection approaches based on mixed integer programming (MIP) cannot detect siphons that cause livelocks in a system of sequential systems with shared resources ((SR)-R-4), a typical class of Petri net models of FMSs. This study proposes a revised MIP method to directly solve the smart siphons associated with livelocks or deadlocks in Petri nets. Accordingly, the corresponding control places (CPs) are added for the solved smart siphons to make them max'-controlled. Thus an original S4R system with deadlocks or livelocks can be turned into the live controlled one. Compared with the existing methods in the literature, the proposed method is more general and powerful. A theoretical analysis and two examples are given to demonstrate its efficiency and practical potentials.
会议录	MODERN COMPUTER SCIENCE AND APPLICATIONS (MCSA 2016)
会议录出版者	CHINA SCIENTIFIC RESEARCH PUBL CO LTD
会议录出版地	FLAT 01B3, 10-F CARNIVAL COMMERCIAL BUILDING, 18 JAVA RD, HONG KONG, 00000, PEOPLES R CHINA
语种	英语
WOS研究方向	Computer Science
WOS记录号	WOS:000391253700003
内容类型	会议论文
源URL	[http://119.78.100.223/handle/2XXMBERH/36382]
专题	理学院土木工程学院
通讯作者	Li, Shaoyong
作者单位	Lanzhou Univ Technol, Sch Civil Engn, Lanzhou, Peoples R China
推荐引用方式 GB/T 7714	Li, Shaoyong,Che, Yongyi,Liu, Wenqian,et al. A revised MIP method to deal with livelocks in a class of generalized Petri nets[C]. 见:.