A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
Li Shaoyong; Zhao Chunrun
2020-04-03
Source PublicationINTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
ISSN0020-7721
Volume51Issue:5Pages:771-785
AbstractThis 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.
KeywordPetri nets deadlocks control transitions (CTs) control transition equation (CTE) live maximally reachable number (LMRN)
DOI10.1080/00207721.2020.1737268
Indexed BySCI
Language英语
WOS Research AreaAutomation & Control Systems ; Computer Science ; Operations Research & Management Science
WOS SubjectAutomation & Control Systems ; Computer Science, Theory & Methods ; Operations Research & Management Science
WOS IDWOS:000526470700001
PublisherTAYLOR & FRANCIS LTD
Citation statistics
Cited Times [WOS]:0   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.lut.edu.cn/handle/2XXMBERH/64243
Collection土木工程学院
Corresponding AuthorLi Shaoyong
AffiliationLanzhou Univ Technol, Sch Civil Engn, Lanzhou 730050, Gansu, Peoples R China
First Author AffilicationLanzhou University of Technology
Corresponding Author AffilicationLanzhou University of Technology
First Signature AffilicationLanzhou University of Technology
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Usage statistics
Google Scholar
Similar articles in Google Scholar
[Li Shaoyong]'s Articles
[Zhao Chunrun]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li Shaoyong]'s Articles
[Zhao Chunrun]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li Shaoyong]'s Articles
[Zhao Chunrun]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.