Modelling Transition Constraints

Scheduling problems belong to a very successful application area of constraint programming partially thanks to many specialised global constraints defined for scheduling problems. In the paper we propose a concept of the transition constraint that is used to model a state change in resources. We describe and compare three models of the transition constraint. These models have been implemented and tested in the scheduling engine of Visopt ShopFloor system.