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

Volume

4

fYear

1997

fDate

12-15 Oct 1997

Firstpage

3762

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.633255

Filename

633255