English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Pro

Presents the zaia usage as premium feature

ZAIA

Presents AI Discovery search usage as a premium feature

AI Discovery

Presents AI Discovery explain and summary usage as a premium feature

Content Analysis

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Presents the pdf analysis as premium feature

PDF Analysis

1500 Top-up

3000 Top-up

Zendy Basic

2500 Top-up

Zendy Unlimited

Presents the access of premium content as premium feature

Premium Content

Production planning and scheduling is one of the most important business processes that significantly influence the performance of manufacturing companies. There are many information\udsystems supporting production planning and scheduling and some of them are based on very sophisticated planning algorithms. Despite this fact, many companies still face serious problems even while using professional software tools for production planning and scheduling. Obviously, a lot of other changes in form of process innovations are required.\udThis paper deals with the problem of process management in the field of production planning and scheduling. Our study explains reasons for low performance of advanced technologies and provides solution in form of system model of key factors affecting the efficiency of planning software.\udResearch part is based on the study conducted within Czech manufacturing companies in form of questionnaire-based investigation combined with interviews.\udProposed solution is extended to the abstract mathematical model based on proof obligations which prove or disprove the correctness of intended algorithms. Our study provides basic example of such an abstract model and describes its functionality and influence to proper production planning and scheduling. It will be processed to the form of complex expert system based on Event B method in the future

Proof obligations as a support tool for efficient process management in the field of production planning and scheduling