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.

Plug & produce by modelling skills and service-oriented orchestration of reconfigurable manufacturing systems

2015 ◽  
Vol 63 (10) ◽  
Author(s):  
Julius Pfrommer ◽  
Denis Stogl ◽  
Kiril Aleksandrov ◽  
Stefan Escaida Navarro ◽  
Björn Hein ◽  
...  
Keyword(s):  
Machine Tools ◽  
Manufacturing Systems ◽  
Reconfigurable Manufacturing Systems ◽  
Reconfigurable Manufacturing ◽  
Specific Product ◽  
Logistics Systems ◽  
Fixed Set ◽  
Service Oriented ◽  
Lot Sizes ◽  
High Level

AbstractShortening product lifecycles and small lot sizes require manufacturing systems to adapt increasingly fast. Many existing machine tools, handling and logistics systems provide a generic functionality that is not bound to a specific product. But this flexibility and reconfigurability on the level of individual resources is lost in automated systems that are limited to the production of a fixed set of product variants. We propose a unified abstraction for the skills provided by the available resources and the product-specific manufacturing requirements. From these high-level descriptions, executable manufacturing procedures are derived, exposed as services and dynamically orchestrated at runtime in order to achieve the manufacturing goals.

Sign in / Sign up

Export Citation Format

Share Document