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

Abstract

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.

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

“…7The proposed ICTPN model can be applicable to other types of complex AMSs such as semiconductor fabrication system and liquid-crystal display factory, including automated storage and retrieval systems, automated guided vehicle, and machines. (8) The proposed ICTPN model can consider systems with sequential and complex resource requirements.…”

“…The work of Reference [7] presented the reconfigurable finite-capacity Petri net (RFCPN) for the dynamic configuration of a flexible MS. An RFCPN is a Petri net extension that can be used for modeling, simulating, and validating simultaneous systems, which are subject to changes. Kahloul et al [8] used reconfigurable object nets (RONs) to model, simulate, and analyze RMSs. The study proposed a formal approach to meet a new requirement (production of bricks used in slabs).…”

A Petri Net-Based Hybrid Heuristic Scheduling Algorithm for Flexible Manufacturing System

“…To solve the problem, the scheduling rules have been integrated into a knowledge base for multi-objective scheduling. For example, Kahloul et al [20] integrated a knowledge base scheduling system into the FMS design and set up the corresponding PN model. Kim et al [21] developed a PN-based simulation method that generates priority rules from the knowledge base during changes and conflicts to solve the scheduling problem.…”

Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems

“…The success of RMSs depends on the quality of agents and their interactions. 17 The consistency can ensure the successful interactions among agents in RMSs.…”