Model Checking Plans for Flexible Manufacturing Systems
نویسندگان
چکیده
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 possible to model a production system based on cells and to predict and to prove its behavior before the system is developed. Therefore, the analyzed model can be used to develop flexible and dependable production systems to meet the market requirements of quantity, diversity, and quality. Copyright c ©2005 IFAC
منابع مشابه
An Optimal Preventive Maintenance Model to Enhance Availability and Reliability of Flexible Manufacturing Systems
General preventive maintenance model for the components of a system, which improves the reliability to ‘as good as new,’ was used to optimize the maintenance cost. The cost function of a maintenance policy was minimized under given availability constraint. On the other hand, in order to ensure appropriate reliability and availability, the development of the optimal maintenanc...
متن کاملMonte Carlo Simulation to Compare Markovian and Neural Network Models for Reliability Assessment in Multiple AGV Manufacturing System
We compare two approaches for a Markovian model in flexible manufacturing systems (FMSs) using Monte Carlo simulation. The model which is a development of Fazlollahtabar and Saidi-Mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (AGV) namely, the reliability of machines and the reliability of AGVs in a multiple AGV jobsho...
متن کاملMULTI-OBJECTIVE ROUTING AND SCHEDULING IN FLEXIBLE MANUFACTURING SYSTEMS UNDER UNCERTAINTY
The efficiency of transportation system management plays an important role in the planning and operation efficiency of flexible manufacturing systems. Automated Guided Vehicles (AGV) are part of diversified and advanced techniques in the field of material transportation which have many applications today and act as an intermediary between operating and storage equipment and are routed and contr...
متن کاملOptimizing Flexible Manufacturing System: A Developed Computer Simulation Model
In recent years, flexible manufacturing system as a response to market demands has been proposed to increase product diversity, optimum utilization of machines andperiods of short-term products.The development of computer systems has provided the ability to build machines with high functionality and the necessary flexibility to perform various operations. However, due to the complexity and the ...
متن کاملMinimizing the number of tool switches in flexible manufacturing cells subject to tools reliability using genetic algorithm
Nowadays, flexible manufacturing systems play an effective role in a variety of production and timely response to the needs of their customers. Flexible manufacturing cell is a part of this system that includes machines with flexibility in manufacturing different parts. For many years, minimizing the number of tool switches in the machines has been studied by the researchers. Most research in t...
متن کامل