Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

2015 ◽  
Author(s):  
HeSuan Hu ◽  
Yan Yang ◽  
Yang Liu ◽  
Chen Chen
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Colored Petri Nets ◽  
Automated Manufacturing ◽  
Automated Manufacturing Systems ◽  
Supervisor Design

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

Processes ◽  
2019 ◽  
Vol 8 (1) ◽  
pp. 21 ◽  
Author(s):  
Husam Kaid ◽  
Abdulrahman Al-Ahmari ◽  
Zhiwu Li ◽  
Reggie Davidrajuh
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Colored Petri Nets ◽  
Second Step ◽  
Deadlock Prevention ◽  
Automated Manufacturing ◽  
Automated Manufacturing Systems ◽  
Control Approach ◽  
Single Controller

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.

Sign in / Sign up

Export Citation Format

Share Document