A Petri net-based approach to reconfigurable manufacturing systems modeling (original) (raw)
Related papers
Modelling reconfigurable manufacturing systems with coloured timed Petri nets
International Journal of Production Research, 2009
Reconfigurable manufacturing systems (RMSs) have been acknowledged as a promising means of providing manufacturing companies with the required production capacities and capabilities. This is accomplished through reconfiguring system elements over time for a diverse set of individualized products often required in small quantities and with short delivery lead times. Recognizing the importance of dynamic modeling and visualization in decision-making support in RMSs and the limitations of current research, we propose in this work to model RMSs with Petri net (PN) techniques focusing on the process of reconfiguring system elements while considering constraints and system performance. In view of the modeling challenges, including variety handling, production variation accommodation, machine selection, and constraint satisfaction, we develop a new formalism of colored timed PNs. In conjunction with colored tokens and timing in colored and timed PNs, we also define a reconfiguration mechanism to meet modeling challenges. An application case from an electronics company producing mobile phone vibration motors is presented. Also reported are system analysis and application results, which show how the proposed formalism can be used in the reconfiguration decision making process.
Processes
The invention of reconfigurable manufacturing systems (RMSs) has created a challenging problem: how to quickly and effectively modify an RMS to address dynamic changes in a manufacturing system, such as processing failures and rework, machine breakdowns, addition of new machines, addition of new products, removal of old machines, and changes in processing routes induced by the competitive global market. This paper proposes a new model, the intelligent colored token Petri net (ICTPN), to simulate dynamic changes or reconfigurations of a system. The main idea is that intelligent colored tokens denote part types that represent real-time knowledge about changes and status of a system. Thus, dynamic configurations of a system can be effectively modeled. The developed ICTPN can model dynamic changes of a system in a modular manner, resulting in the development of a very compact model. In addition, when configurations appear, only the changed colored token of the part type from the current...
International Journal of Software Engineering and Knowledge Engineering, 2014
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.
Hybrid Reconfigurable Petri Nets for modelling Hybrid Reconfigurable Manufacturing Systems
Manufacturing systems are a class of hybrid complex systems. In fact, their behaviour is characterized by a double discrete/continuous dynamic which can make their modelling a difficult task. Moreover, this complexity can make fault appearance very often for those systems. For those reasons, the reconfiguration task is very important as it guarantees the continuity of working of those systems. This article deals with the modelling of hybrid reconfigurable manufacturing systems. A reconfigurable manufacturing system (RMS) is a system capable of adjusting his behaviour in response to a new production's requirement or a fault appearance. We propose a Petri net's extension "Hybrid Reconfigurable Petri Nets" which permit the construction of flexible models able to adapt themselves to particular situations the system can reach. We translate this adaptation by the possibility of the model to be reconfigured or even better to be self-reconfigured.
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems
Reconfigurable systems (RSs) are systems were the structure can be changed during the execution of the system. Reconfigurable manufacturing systems (RMSs) represent one of the most prominent successes in the RSs technology. Reconfiguration in RMSs can be motivated by many reasons: a new requirement in the production process, to avoid some problems caused by machines breakdowns, etc. RMSs o↵er flexibility, productivity and e ciency in plants and production lines. Though, the design, realisation and verification of RMSs seem to be hard tasks and imply innovative approaches. High level Petri Nets supply the ability to design these systems and to analyse their properties. In this paper, we apply Reconfigurable Object Nets (RONs) for the modelling, simulation and analysis of reconfigurable manufacturing systems. We present an experience where the reconfiguration process, in RMSs, is specified explicitly as a "Place/transition nets transformation", the simulation is realised using the RON-editor tool, and the analysis exploits the TINAtool (TImed Nets Analyser tool).
Journal of Intelligent Manufacturing, 2008
Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintaining mass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multilevel system of nested colored object-oriented Petri nets with changeable structures to model the configuration of production processes. To capture the semantics associated with production configuration decisions, some unique modeling mechanisms are employed, including colored Petri nets, object-oriented Petri nets, changeable Petri net structures, and net nesting. The modeling formalism comprises resource nets, manufacturing nets, assembly nets and process nets. The paper demonstrates how these net definitions are applied to the specification of production process variants at different levels of abstraction. Also reported is a case study in an electronics company. The system model is further analyzed with focus on conflict prevention and deadlock detection.
Petri-Net Based Approaches to Flexible Manufacturing Systems
This paper describes the planning process in flexible manufacturing systems. Flexible manufacturing system consisting of machines, computers, robots and automated guided vehicle. The skeleton and the functionality of a Petri Net Toolbox, embedded in the MATLAB environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and synthesis of discrete event systems. The integration with the MATLAB [1] philosophy responds to the general interest manifested by educators for enlarging the compatibility between the traditional background of Control Engineering applications and the novelty of discrete-event-systems scenarios. It explains a scheme of labelling and firing which makes modelling convenient for complex systems whose constraints are difficult to express only in terms of firing duration. The system manufacture choose is from the undertake S.C. APULUM S.A. Alba Iulia. Timed Petri nets are used to model operational and routing flexibility ...
Petri nets and flexible manufacturing
Lecture Notes in Computer Science, 1990
The aim of this survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work. After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed. Finally, the role and the presence of nets in CAE (Computer Aided Engineering) and in CAM (Computer Aided Manufacturing) for FMSs (Flexible Manufacturing Systems) are considered. From the design point of view, the use of nets have many advantages in modeling, qualitative analysis, performance evaluation and code generation. From the control of the plant perspective, scheduling on nets models, the coordination of the plant (global and partial) and the presence of nets in the local control level are discussed. Petri nets theory presents a relatively mature body, nevertheless efficient performance evaluation (even for P/T net models) and qualitative analysis of highlevel net models still requires important developments. The Babel-Tower-impression that the Petri net newcomer may have looking at the myriad of so-called high-level-nets formalisms may initially produce some kind of rejection. In any case, it is our opinion that Petri nets appears as a key formalism to describe, analyze and implement the control of FMSs. The merging of Petri nets and knowledge based techniques seems to be very promising to deal with large complex discrete event dynamic systems such as FMSs. Petri Nets and Flexible Manufaturing (rebuilt version January 24, 2005) Gentina, P. Muro, J.L. Villarroel, K. Voss and many other persons. 6 References. 6.1 References on general notions in manufacturing systems. BAL 69 Balas E., Machine sequencing via disjunctive graphs: an implicit enumeration algorithm, Oper. Res. 17 No 6. ERS 79 Erschler J., Fontan G., Roubellat F., Potentiels sur un graphe non conjonctif et analyse d'un problème d'ordonnancementà moyens limités, RAIRO, 13 No 4. ERS 86a J. Erschler, F. Roubellat, V. Thomas: Real-time Production Scheduling for Parts with Limit Times. TIMS/ORSA Joint National Meeting, Los Angeles, April. ERS 86b J. Erschler, P. Esquirol: Decision-aid in job-shop scheduling: a knowledge based approach. SIL 85 M. Silva: Las redes de Petri en la Automática y la Informática. Ed. AC, Madrid. SIL 87a M. Silva: Towards a synchrony theory for P/T nets. Concurrency and Nets (K. Voss et al., eds). Springer-Verlag, pp. 435-460. SIL 88 M. Silva, J.M. Colom: On the computation of structural synchronic invariants in P/T nets.
The International Journal of Advanced Manufacturing Technology, 2004
In this paper we propose an extended object-oriented Petri nets (EOPNs) for effective modeling of large-scale complex re-entrant manufacturing systems (ReMSs). To cope with their complexity because of the re-entrant process route and the mixed production mode, a special type of transition called a main-bus gate (MBG) is introduced, which can cause products to undergo every re-entrant manufacturing stage. A hierarchical approach is also applied to cope with the complexity. As a typical largescale complex ReMS, the semiconductor wafer fabrication system (SWFS) is taken as an example for demonstrating the proposed EOPNs. A case study is provided to show the modelling procedures, and the resulting model validates that the EOPNs can cope well with the modelling complexity of large-scale complex ReMSs. Keywords Extended object-oriented Petri nets (EOPNs) • Large-scale • Main-bus gate (MBG) • Re-entrant manufacturing system (ReMS) 1 Introduction This paper focusses on the modelling of large-scale complex re-entrant manufacturing systems (ReMSs). Some modern hightech manufacturing systems, such as semiconductor wafer fabrication systems (SWFSs) and electronics assembly lines, may
Procedia Computer Science, 2017
The design techniques of flexible manufacturing systems deal, among other methods, with the application of high level Petri Nets. The modeling and simulation of a flexible manufacturing cell (FMC) can be done by implementing hierarchical techniques based on Colored Timed Petri Nets. This paper is focused on implementing decisions and strategies in a flexible manufacturing cell with colored and hierarchical techniques. In this context we discuss the decision making for machine, parts and allocated tools in transitions. The FMC model is designed based on the cell operating at the laboratory of the Faculty of Managerial and Technological Engineering, University of Oradea. In this article, we explain the design techniques using color and hierarchy to evaluate the overall performance of the cell based on part arrival decisions and part processing decisions in transitions of each sub-model of the cell.