Modelling a flexible manufacturing system using reconfigurable finite capacity Petri nets

2012 ◽  
Author(s):  
Bogdan Tarnauca ◽  
Dan Puiu ◽  
Vasile Comnac ◽  
Constantin Suciu
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Finite Capacity

Control of a Flexible Manufacturing System Using Petri Nets

1990 ◽  
Vol 23 (8) ◽  
pp. 47-52 ◽  
Author(s):  
Meng Chu Zhou ◽  
F. DiCesare ◽  
D. Rudolph
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System

Extraction of elementary siphons in a class of generalized Petri nets using graph theory

2014 ◽  
Vol 31 (2) ◽  
pp. 331-352 ◽  
Author(s):  
YiFan Hou ◽  
ZhiWu Li ◽  
Mi Zhao ◽  
Ding Liu
Keyword(s):  
Graph Theory ◽  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Design Methodology ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Structural Complexity ◽  
Compact Set ◽  
Content Type

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.

A Comprehensive Survey of Flexible Manufacturing System Scheduling Using Petri Nets

2014 ◽  
Vol 984-985 ◽  
pp. 111-117 ◽  
Author(s):  
T.R. Chinnusamy ◽  
T. Karthikeyan ◽  
M. Krishnan ◽  
A. Murugesan
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Heuristic Algorithms ◽  
Performance Criteria ◽  
Discrete Event Dynamic Systems ◽  
Modeling Tool ◽  
Comprehensive Survey ◽  
Automated Handling

A Flexible Manufacturing System (FMS) is an integrated, computer-controlled system of machines, automated handling systems, and storage systems that can be used to simultaneously manufacture a variety of jobs. FMSs can be characterized as asynchronous, concurrent, distributed and parallel systems in which multiple operations share multiple resources so that the performance criteria are optimized. Petri nets (PNs) have recently become a promising approach for modeling FMSs. PNs are formal graphical modeling tool that can be efficiently utilized as a process analysis and modeling tool, because it shows graphically and dynamically to simulate a process in an integrated manner. It is a mathematical modeling technique that is useful for modeling concurrent, asynchronous, distributed, parallel, nondeterministic, and stochastic systems. Unreasonably the dispatching resources/jobs to machine in FMS may result in a deadlock situation and the situation is studied thoroughly and avoided through PN techniques. From the design and analysis point of view, the uses of nets have many advantages in modeling, performance evaluation, qualitative analysis and code generation. Scheduling a manufacturing system is usually a Non-Polynomial hard problem. This means that only heuristic algorithms can be used to provide near-optimal schedule when it is merged with PN. The merging of PNs with knowledge based heuristic techniques seems to be very promising to deal with large complex discrete event dynamic systems. This paper presents a comprehensive survey of FMS that combines PNs with other methods.

Petri Net Supervisory Method for Linear Constraints and its Applications to Flexible Manufacturing Systems

2013 ◽  
pp. 20-35
Author(s):  
Jiliang Luo
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Flexible Manufacturing Systems ◽  
Manufacturing Systems ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Linear Constraints ◽  
Supervisor Synthesis ◽  
Synthesis Procedure

An algorithm is proposed to equivalently transform original linear constraints on Petri nets, where the uncontrollable subnets are forward-concurrent free nets, into admissible ones. Consequently, this algorithm can be used to design both efficient and optimal supervisors for enforcing linear constraints on Petri nets since the problem on how to enforce admissible constraints has been well solved. Further, the supervisor synthesis procedure is presented using this algorithm. Lastly, it is illustrated by an example where an optimal supervisor is designed for a flexible manufacturing system.

Sign in / Sign up

Export Citation Format

Share Document