Optimization Scheduling for Flexible Manufacturing System using Petri net

Author(s):  
Tung Pham Truong ◽  
Phuoc Pham Dang ◽  
Binh Luu Duc
2019 ◽  
Vol 11 (12) ◽  
pp. 168781401988974
Author(s):  
Hafiz Zahid Nabi ◽  
Tauseef Aized

This study aims to model, analyze, and evaluate performance of a flexible manufacturing system, constituting a carousel-based manufacturing and assembly cells layout, configured to produce mixed-model multiple products employing inter-/intra-cellular routing flexibility in which manufacturing and assembly resources are subject to working and failure modes. A hierarchical colored Petri net model is developed to analyze performance of the flexible manufacturing system. Colored Petri net modeling experiments have been conducted to evaluate the system performance for throughput, cycle time, and work-in-process. The system performance has been investigated in relation to material supply and handling system, process execution, and production resources reliability variables. Different input factors are considered for simulation modeling such as mean machining time, mean loading/unloading time, mean assembly time, buffer capacity, material supply inter-arrival time, number of operations between failures, and mean time to repair for production resources; a variation in input factors has shown a significant impact on system performance measures. The colored Petri net–based modeling, simulation, and analysis approach has been demonstrated as an efficient method for carousel-based mixed-model configured flexible manufacturing system.


Author(s):  
Tauseef Aized ◽  
◽  
Koji Takahashi ◽  
Ichiro Hagiwara ◽  

The objective of this study is to analyse a pull type multi-product, multi-line and multi-stage flexible manufacturing system whose resources are subject to planned and unplanned breakdown conditions. To ensure a continual supply of the finished products, under breakdown conditions, the parts/materials move through alternate routes exhibiting routing flexibility. The machine resources are flexible in this study and are capable to produce more than one item. Every machining and assembly station has been equipped with automated inspection units to ensure the quality of the products. The system is modelled through coloured Petri net method and the impact of input factors has been shown on the performance of the system.


2014 ◽  
Vol 31 (2) ◽  
pp. 331-352 ◽  
Author(s):  
YiFan Hou ◽  
ZhiWu Li ◽  
Mi Zhao ◽  
Ding Liu

Purpose – Siphon-based deadlock control in a flexible manufacturing system (FMS) suffers from the problems of computational and structural complexity since the number of siphons grows exponentially with respect to the size of its Petri net model. In order to reduce structural complexity of a supervisor, a set of elementary siphons derived from all strict minimal siphons (SMS) is explicitly controlled. The purpose of this paper is through fully investigating the structure of a class of generalized Petri nets, WS3PR, to compute all SMS and a compact set of elementary siphons. Design/methodology/approach – Based on graph theory, the concepts of initial resource weighted digraphs and restricted subgraphs are proposed. Moreover, the concept of augmented siphons is proposed to extend the application of elementary siphons theory for WS3PR. Consequently, the set of elementary siphons obtained by the proposed method is more compact and well suits for WS3PR. Findings – In order to demonstrate the proposed method, an FMS example is presented. All SMS and elementary siphons can be derived from initial resource weighted digraphs. Compared with those obtained by the method in Li and Zhou, the presented method is more effective to design a structural simple liveness-enforcing supervisor for WS3PR. Originality/value – This work presents an effective method of computing SMS and elementary siphons for WS3PR. Monitors are added for the elementary siphons only, and the controllability of every dependent siphon is ensured by properly supervising its elementary ones. A same set of elementary siphons can be admitted by different WS3PR with isomorphic structures.


Sign in / Sign up

Export Citation Format

Share Document