Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes
In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlock...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-07-01
|
Series: | Applied Sciences |
Subjects: | |
Online Access: | https://www.mdpi.com/2076-3417/10/15/5270 |
id |
doaj-24d3b5e984bb40d883e9ccbaff9c8071 |
---|---|
record_format |
Article |
spelling |
doaj-24d3b5e984bb40d883e9ccbaff9c80712020-11-25T01:19:55ZengMDPI AGApplied Sciences2076-34172020-07-01105270527010.3390/app10155270Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic ChangesHusam Kaid0Abdulrahman Al-Ahmari1Zhiwu Li2Reggie Davidrajuh3Department of Industrial Engineering, College of Engineering, King Saud University, Riyadh 11421, Saudi ArabiaDepartment of Industrial Engineering, College of Engineering, King Saud University, Riyadh 11421, Saudi ArabiaInstitute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, ChinaDepartment of Electrical Engineering and Computer Science, Faculty of Science and Technology, University of Stavanger, 4036 Stavanger, NorwayIn reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlocks, and some operations can therefore remain incomplete. The objective of this article is to develop a novel two-step solution for quick and accurate reconfiguration of supervisory controllers for deadlock control in RMSs with dynamic changes. In the first step, the net rewriting system (NRS) is used to design a reconfigurable Petri net model under dynamic configurations. The obtained model guarantees boundedness behavioral property but may lose the other properties of a Petri net model (i.e., liveness and reversibility). The second step develops an automatic deadlock prevention policy for the reconfigurable Petri net using the siphon control method based on a place invariant to solve the deadlock problem with dynamic structure changes in RMSs and achieve liveness and reversibility behavioral properties for the system. The proposed approach is tested using examples in the literature and the results highlight the ability of the automatic deadlock prevention policy to adapt to RMSs configuration changes.https://www.mdpi.com/2076-3417/10/15/5270Reconfigurable manufacturing systemPetri netdeadlocksiphonsupervisory controller |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Husam Kaid Abdulrahman Al-Ahmari Zhiwu Li Reggie Davidrajuh |
spellingShingle |
Husam Kaid Abdulrahman Al-Ahmari Zhiwu Li Reggie Davidrajuh Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes Applied Sciences Reconfigurable manufacturing system Petri net deadlock siphon supervisory controller |
author_facet |
Husam Kaid Abdulrahman Al-Ahmari Zhiwu Li Reggie Davidrajuh |
author_sort |
Husam Kaid |
title |
Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes |
title_short |
Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes |
title_full |
Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes |
title_fullStr |
Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes |
title_full_unstemmed |
Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes |
title_sort |
automatic supervisory controller for deadlock control in reconfigurable manufacturing systems with dynamic changes |
publisher |
MDPI AG |
series |
Applied Sciences |
issn |
2076-3417 |
publishDate |
2020-07-01 |
description |
In reconfigurable manufacturing systems (RMSs), the architecture of a system can be modified during its operation. This reconfiguration can be caused by many motivations: processing rework and failures, adding new products, adding new machines, etc. In RMSs, sharing of resources may lead to deadlocks, and some operations can therefore remain incomplete. The objective of this article is to develop a novel two-step solution for quick and accurate reconfiguration of supervisory controllers for deadlock control in RMSs with dynamic changes. In the first step, the net rewriting system (NRS) is used to design a reconfigurable Petri net model under dynamic configurations. The obtained model guarantees boundedness behavioral property but may lose the other properties of a Petri net model (i.e., liveness and reversibility). The second step develops an automatic deadlock prevention policy for the reconfigurable Petri net using the siphon control method based on a place invariant to solve the deadlock problem with dynamic structure changes in RMSs and achieve liveness and reversibility behavioral properties for the system. The proposed approach is tested using examples in the literature and the results highlight the ability of the automatic deadlock prevention policy to adapt to RMSs configuration changes. |
topic |
Reconfigurable manufacturing system Petri net deadlock siphon supervisory controller |
url |
https://www.mdpi.com/2076-3417/10/15/5270 |
work_keys_str_mv |
AT husamkaid automaticsupervisorycontrollerfordeadlockcontrolinreconfigurablemanufacturingsystemswithdynamicchanges AT abdulrahmanalahmari automaticsupervisorycontrollerfordeadlockcontrolinreconfigurablemanufacturingsystemswithdynamicchanges AT zhiwuli automaticsupervisorycontrollerfordeadlockcontrolinreconfigurablemanufacturingsystemswithdynamicchanges AT reggiedavidrajuh automaticsupervisorycontrollerfordeadlockcontrolinreconfigurablemanufacturingsystemswithdynamicchanges |
_version_ |
1725136508160049152 |