The paper describes the algorithm, which is developed to solve scheduling tasks in Flexible Manufacturing Systems. The algorithm is a combination of Genetic Algorithm and Coloured Petri Nets. It is proposed to use Coloured Petri Nets to tackle the encoding problem in Genetic Algorithm. The objective is to minimize the total make-span subject to different constraints obtained in Flexible Manufac...

In modern manufacturing systems, two developments are paramount: flexible automation computer systems controlling and monitoring the physical processes, and Computer Integrated Manufacturing (CIM) direct data sharing among production control systems and the engineering and administrative systems that support them. The resulting data systems engineering task is to provide access from many system...

In this work an approach to analyze non-deterministic execution plans for flexible manufacturing systems is presented. This approach consists of modeling the system using coloured Petri nets and then, by simulation, discover the possible executions for the system. After, model checking is used to prove that the model behavior do not deviate from the planning. Based on this approach it is possib...

............................................................................................................... ii ACKNOWLEDGEMENTS .........................................................................................iv TABLE OF FIGURES...............................................................................................viii INDEX OF TABLES.............................................

This paper focuses on a method for synthesizing deadlock avoidance controllers in flexible manufacturing systems. The modelling process of a supervisory policy that enforces liveness is realized with Petri nets. Petri nets are a popular modelling paradigm for a wide class of discrete event systems. Our supervisory policy is based on the next two steps in modelling process: a) A bottom-up approa...

A tool for performance evaluation will be presented in this paper. The tool is named BAL and is based on the timed process algebra BTC incorporating resources as well. BAL begins by first making the syntactic analysis of the system specification, and then draws up its relevant transition graph by applying the rules of the operational semantics and solves a performance optimization problem relev...

A flexible manufacturing system (FMS) is a manufacturing system in which there is some amount of flexibility to react in the case of changes, whether predicted or unpredicted. This flexibility can be divided into two categories: ١. Machine flexibility, covers the system's ability to be changed to produce new product types, and ability to change the order of operations executed on a part, and ٢....

This paper evaluates the tardiness performance of a complex dynamic manufacturing environment. These sampling-based adaptive heuristic in a dynamic manufacturing­ 'changes' include machine breakdowns, unavailability of environment. A test bed, following a real world manufacturing material and other resources to perform manufacturing system, has been developed. The proposed algorithm has been op...

Many of industries are going to stand in the market in front of their competitor with a lot of industrial growth and good quality of product. But in this race they don’t think about the flexibility in customer relation or satisfaction as well as operational flexibility. Lean manufacturing provide the use of everything for industrial growth and Flexible manufacturing system gives the direction w...

There is an increasing importance of different productive architectures related to worker involvement in the decision making, where is given due attention to the intuitive capabilities and the human knowledge in the optimization and flexibilization of manufacturing processes. Thus having reference point architecture of a flexible manufacturing and assembling system existent at UNINOVA-CRI, we w...