An integrated approach to developing manufacturing control software
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1979-1984 vol.3
- https://doi.org/10.1109/robot.1991.131917
Abstract
An integrated approach to developing the control software for efficient and dependable manufacturing systems is presented. The formal model of a manufacturing system is used in planning the sequence of operations of each class of jobs to be manufactured by this system. To achieve efficiency, the reservation table technique is used to create optimum cyclic job-shop schedules for processing a batch of jobs. To achieve dependability, a plan-oriented fault detection and correction strategy is proposed.Keywords
This publication has 19 references indexed in Scilit:
- Modeling, validation and software implementation of production systems using high level Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Petri-net based simulation of manufacturing cellsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Coloured Petri net models for automated manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Automated generation and evaluation of control programs for discrete manufacturing processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Using Grafcet to design generic controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Cyclic job shop scheduling using reservation tablesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Petri net tools for the specification and analysis of discrete controllersIEEE Transactions on Software Engineering, 1990
- Applications of petri net based models in the modelling and analysis of flexible manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Models for simulation and discrete control of manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986