Title :
A control algorithm for deadlock-free schedulings of manufacturing systems
Author :
Ferrarini, Luca ; Maroni, Massimo
Author_Institution :
Dept. of Electron. & Inf., Politecnico di Milano, Italy
Abstract :
The paper addresses the problem of designing a control scheme capable of avoiding deadlock conditions for a class of manufacturing systems. The considered model for the system under control is based on Petri nets, and is formulated according to well-known modelling rules. A deadlock avoidance policy is proposed which is an extension of a previously presented policy. The proofs of its correctness are briefly sketched. Finally, an example of an automated manufacturing system is discussed
Keywords :
Petri nets; computer integrated manufacturing; control system synthesis; production control; resource allocation; scheduling; Petri nets; automated manufacturing system; control scheme design; correctness proofs; deadlock avoidance policy; deadlock-free scheduling; manufacturing control algorithm; manufacturing systems scheduling; modelling rules; Control system synthesis; Control systems; Force control; Job shop scheduling; Manufacturing systems; Petri nets; Production systems; Resource management; Scheduling algorithm; System recovery;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633255
