By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Wojcik, R. ; Inst. of Eng. Cybern., Wroclaw Univ. of Technol. ; Bzdyra, K. ; Crisostomo, M.M. ; Banaszak, Z.

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

Published in:

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on  (Volume:1 )

Date of Conference:

19-22 Sept. 2005