CP3L: A Cyber-Physical Production Planning Language

The automated planning in Cyber-Physical Production Systems (CPPS) reduces the need for the human-error-prone repetitive planning task. Modeling CPPS and the required products for planning purposes can be done with domain-independent planning languages, like Planning Domain Definition Language or Prolog. However, such domain-independent languages do not satisfy all requirements in CPPS, like concurrency and/or time. Moreover, production engineers should deal with the planning models of their systems and, therefore, such models must be usable (understandable) for these users. Unfortunately, these requirements are missing in the available domain-independent planning languages. To overcome the previous problems, we develop an object-oriented planning language specific for the domain of CPPS. To evaluate the CPPS requirements' satisfaction, we use the language to represent the planning problem of two simulated robotic arms cooperating on an assembly task.