Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN)

2005 ◽  
Vol 43 (7) ◽  
pp. 1443-1463 ◽  
Author(s):  
Z. M. Wu *
2019 ◽  
Vol 299 ◽  
pp. 02009
Author(s):  
Florin Blaga ◽  
Alin Pop ◽  
Iulian Stănăşel ◽  
Voichiţa Hule ◽  
Claudiu Indre

The paper presents how an automated manufacturing system for the packaging of detergents can be modelled using Petri nets. The complexity of the Detergent Packing System and the high level of automation,require the use of efficient modelling and simulation methods to verify the validity of the solutions adopted. For this purpose, a modern modelling and simulation method based on Petri nets is used. The models associated with the system are developed into a hierarchical structure: the model of some modules in a line; the model of a line; system model as a whole. The model of a packing line consists of the following sub-modules corresponding to the modules of the line: filling the bags, grouping the bags in boxes, grouping the boxes in a row, palletizing, supplying with new empty pallets, full pallets evacuation. The six lines of the manufacturing system can work in various ways: they can pack detergent bags of the same mass or of different masses. Under these conditions, the operating mode is checked step by step, and the necessary adjustments can be done as to ensure continuous operation of the system without any blockages.


1990 ◽  
Vol 23 (8) ◽  
pp. 47-52 ◽  
Author(s):  
Meng Chu Zhou ◽  
F. DiCesare ◽  
D. Rudolph

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