LAPSE:2020.0132
Published Article
LAPSE:2020.0132
Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems
Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li, Reggie Davidrajuh
February 2, 2020
Deadlock control approaches based on Petri nets are usually implemented by adding control places and related arcs to the Petri net model of a system. The main disadvantage of the existing policies is that many control places and associated arcs are added to the initially constructed Petri net model, which significantly increases the complexity of the supervisor of the Petri net model. The objective of this study is to develop a two-step robust deadlock control approach. In the first step, we use a method of deadlock prevention based on strict minimal siphons (SMSs) to create a controlled Petri net model. In the second step, all control places obtained in the first step are merged into a single control place based on the colored Petri net to mark all SMSs. Finally, we compare the proposed method with the existing methods from the literature.
Keywords
Automated manufacturing system, colored Petri net, deadlock prevention, siphon
Suggested Citation
Kaid H, Al-Ahmari A, Li Z, Davidrajuh R. Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems. (2020). LAPSE:2020.0132
Author Affiliations
Kaid H: Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia
Al-Ahmari A: Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia
Li Z: Institute of Systems Engineering, Macau University of Science and Technology, Macau 999078, China; School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China [ORCID]
Davidrajuh R: Faculty of Science and Technology, University of Stavanger, 4036 Stavanger, Norway [ORCID]
Journal Name
Processes
Volume
8
Issue
1
Article Number
E21
Year
2019
Publication Date
2019-12-22
Published Version
ISSN
2227-9717
Version Comments
Original Submission
Other Meta
PII: pr8010021, Publication Type: Journal Article
Record Map
Published Article

LAPSE:2020.0132
This Record
External Link

doi:10.3390/pr8010021
Publisher Version
Download
Files
[Download 1v1.pdf] (3.6 MB)
Feb 2, 2020
Main Article
License
CC BY 4.0
Meta
Record Statistics
Record Views
426
Version History
[v1] (Original Submission)
Feb 2, 2020
 
Verified by curator on
Feb 2, 2020
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2020.0132
 
Original Submitter
Calvin Tsay
Links to Related Works
Directly Related to This Work
Publisher Version