scholarly journals Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Husam Kaid ◽  
Abdulrahman Al-Ahmari ◽  
Zhiwu Li ◽  
Wadea Ameen
Keyword(s):  
Neural Network ◽  
Fault Detection ◽  
Petri Nets ◽  
Manufacturing Systems ◽  
Reconfigurable Manufacturing Systems ◽  
Reconfigurable Manufacturing

Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems

2014 ◽  
Vol 24 (03) ◽  
pp. 419-443 ◽  
Author(s):  
Laid Kahloul ◽  
Samir Bourekkache ◽  
Karim Djouani ◽  
Allaoua Chaoui ◽  
Okba Kazar
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Reconfigurable Manufacturing Systems ◽  
Reconfigurable Manufacturing ◽  
Formal Approach ◽  
New Techniques ◽  
As Graph ◽  
High Flexibility ◽  
High Level ◽  
Modelling Simulation

In Reconfigurable Manufacturing Systems (RMSs), the structure of the system can be changed during execution of the system. This reconfiguration can be motivated by a new requirement in the production process, or to avoid some problems caused by machines breakdowns. These systems offer a high flexibility leading to more productivity and efficiency. However, their design is more complicated implying new techniques and paradigms. The use of formal high level Petri Nets offers the ability to design these systems and to analyse or prove their properties. In this paper, we apply Reconfigurable Object Nets (RONs) for the modelling, simulation and analysis of reconfigurable manufacturing systems. We propose a formal approach, where the reconfiguration is specified as graph transformations, the simulation is realized using the RON-tool, and the analysis exploits some software tools such as TINA-tool and PIPE-tool.

Sign in / Sign up

Export Citation Format

Share Document