A Petri Net based approach for the Synthesis of Parts' Controllers for Reconfigurable Manufacturing Systems

2006 ◽  
Author(s):  
Eun Lee ◽  
Armand Toguyeni ◽  
Nathalie Dangoumau
Keyword(s):  
Petri Net ◽  
Manufacturing Systems ◽  
Reconfigurable Manufacturing Systems ◽  
Reconfigurable Manufacturing

scholarly journals Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes

2020 ◽  
Vol 10 (15) ◽  
pp. 5270 ◽  
Author(s):  
Husam Kaid ◽  
Abdulrahman Al-Ahmari ◽  
Zhiwu Li ◽  
Reggie Davidrajuh
Keyword(s):  
Petri Net ◽  
Manufacturing Systems ◽  
Control Method ◽  
Dynamic Structure ◽  
Deadlock Prevention ◽  
Reconfigurable Manufacturing Systems ◽  
Reconfigurable Manufacturing ◽  
Prevention Policy ◽  
Dynamic Changes ◽  
Structure 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 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.

Sign in / Sign up

Export Citation Format

Share Document