A comparison of modeling approaches for planning in Cyber Physical Production Systems

The problems of planning production processes in Cyber Physical Production Systems (CPPS) require information about e.g., machines, products, and time. These information can be modeled with languages which have different characteristics. Production engineers must select a language carefully when modeling their problems. Otherwise, they have to put an extra effort (e.g., to work around temporal constraints) later when selecting an unsuitable language. A suitable selection can be achieved by a comparison that provides engineers with decision support. In related work, comparisons among such languages exist. However, these comparisons are not tight to the context of CPPS. To provide a decision support, we suggest criteria to compare among languages when used for planning in CPPS. We apply these criteria on the languages: Prolog, Timed Automata, and PDDL. Other languages will be considered in our future work.