Next Article in Journal
Nonlinear Structural Control Analysis of an Offshore Wind Turbine Tower System
Next Article in Special Issue
Robust Fault Protection Technique for Low-Voltage Active Distribution Networks Containing High Penetration of Converter-Interfaced Renewable Energy Resources
Previous Article in Journal
Nitridation Reaction of Titanium Powders by 2.45 GHz Multimode Microwave Irradiation using a SiC Susceptor in Atmospheric Conditions
Previous Article in Special Issue
Fault Diagnosis of the Blocking Diesel Particulate Filter Based on Spectral Analysis
Open AccessArticle

Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems

1
Industrial Engineering Department, College of Engineering, King Saud University, Riyadh 11421, Saudi Arabia
2
Institute of Systems Engineering, Macau University of Science and Technology, Macau 999078, China
3
School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
4
Faculty of Science and Technology, University of Stavanger, 4036 Stavanger, Norway
*
Authors to whom correspondence should be addressed.
Processes 2020, 8(1), 21; https://doi.org/10.3390/pr8010021
Received: 6 November 2019 / Revised: 14 December 2019 / Accepted: 19 December 2019 / Published: 22 December 2019
(This article belongs to the Special Issue Optimization for Control, Observation and Safety)
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. View Full-Text
Keywords: Automated manufacturing system; colored Petri net; deadlock prevention; siphon Automated manufacturing system; colored Petri net; deadlock prevention; siphon
Show Figures

Figure 1

MDPI and ACS Style

Kaid, H.; Al-Ahmari, A.; Li, Z.; Davidrajuh, R. Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems. Processes 2020, 8, 21.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop