The authors analysed the most popular production planning and scheduling software systems. Their main disadvantage is that they lack lean manufacturing tools. There exists a demand for client-oriented systems based on lean principles. The paper describes a unique algorithm for computing the optimum takt time, which forms the basis of the scheduling system developed by the authors. We present methods of algorithmising the scheduling process and results of generating schedules using several algorithms
Proof obligations as a support tool for efficient process management in the field of production planning and scheduling