Constraint programming approach to design of deadlock-free schedules in concurrent production systems

Author

Wójcik, Robert ; Bzdyra, Krzysztof ; Crisóstomo, Manuel M. ; Banaszak, Zbigniew

Author_Institution

Inst. of Eng. Cybern., Wroclaw Univ. of Technol.

Volume

1

fYear

2005

fDate

19-22 Sept. 2005

Lastpage

142

Abstract

This work presents constraint programming (CP) approach applied to determine deadlock-free schedules in concurrent production processes. The rules of resource conflict resolution have been expressed by means of a set of predicates, which define constraints for the problem decisive variables. Predicate model has been defined in time and event domains and implemented in procedures of propagating and distributing the variable values. The predicates define sufficient conditions for existence of deadlock-free schedules of operations, which meet the prescribed qualitative and quantitative constraints

Keywords

concurrent engineering; constraint handling; production engineering computing; resource allocation; scheduling; concurrent production system; constraint distribution; constraint programming approach; constraint propagation; deadlock-free schedule; resource conflict resolution; Buffer storage; Cybernetics; Flow production systems; Informatics; Logic programming; Production planning; Production systems; Scheduling; Sufficient conditions; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on

Conference_Location

Catania

Print_ISBN

0-7803-9401-1

Type

conf

DOI

10.1109/ETFA.2005.1612512

Filename

1612512