This paper presents a minimalist approach to flexible manufacturing systems application interfacing using network wrappers. Through this approach, CIM system applications can be ported to distributed systems more easily. The environment of this implementation is the PUCRS flexible manufacturing cell. The main objective of the project first stage is the integration of production management appli...

The task of scheduling in flexible manufacturing systems (FMS) is more complex and problematic than a traditional manufacturing systems. To accomplish great performance for FMS, a good scheduling system should make an accurate decision at an accurate time according to system situations. Fuzzy logic methodologies easily deal with indeterminate and incomplete information. Human expert‟s knowledge...

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...