Integrating Planning into Production Scheduling: A Formal View

The paper describes an approach for integrating planning view of production scheduling that motivates the integration and we compare the existing solving technologies in respect to their power for planning and scheduling integration. A new formal model of production scheduling is proposed and its realization in the Visopt ShopFloor system is described.