Parallel Petri Nets Modeling Method of Manufacturing System Based on the Improved PDDL

Parallel Petri nets are a class of Petri nets which can take into account scheduling and control issues of manufacturing systems [1]. However, Its designed relies on the manual effort, which is very difficult and boring for real manufacturing systems. Therefore, this work defines an improved planning domain definition language (PDDL) to automatically translate it to a parallel Petri net. In details, the PDDL syntax is extended to make it more accurate and convenient to describe actions, tasks and conditions. Elements of an extended PDDL are automatically represented by places and transitions of a parallel Petri net. Finally, an experiment is taken to illustrate and verify our method.