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

The paper describes the concepts that must be considered in order to achieve a flexible manufacturing system that allows introduction of new products and new resources without total reprogramming of the control system. The basic structure of a resource model is presented and also guidelines for achieving a generic resource model. The description of how to manufacture the products is also essent...

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

Abstract: The intensive deployment of Information Technology in manufacturing systems gives manufacturers an opportunity to promote make-to-order business models and mass customization of products. Facing this wide range of customer needs requires manufacturing control systems to be adaptable to variable demands in terms of product specifications or intrinsic system changes. To this end, the co...

Group technology (GT) is a useful way to increase productivity with high quality in flexible manufacturing systems. Cell formation (CF) is a key step in GT. It is used to design a good cellular manufacturing system that uses the similarity measure between parts and machines so that it can identify part families and machine groups. Recently, fuzzy clustering has been applied in GT because the fu...

Recent advances in medical robotics have initiated a transition from rigid serial manipulators to flexible or continuum robots capable of navigating to confined anatomy within the body. A desire for further procedure minimization is a key accelerator for the development of these flexible systems where the end goal is to provide access to previously inaccessible anatomical workspaces and enable ...