Title :
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.
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;
Conference_Titel :
Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
Conference_Location :
Catania
Print_ISBN :
0-7803-9401-1
DOI :
10.1109/ETFA.2005.1612512
