Tokenplan: A Planner for Both Satisfaction and Optimization Problem

All subsequent work considers the obtained Petri net representation. These tokens hold on ction planning is generally done in two (2) searching it for a solution. The way a label of the specific bindings of the variables work load is shared between these stages of the predicate associated with the place. The particularity of our planner lays in the flexibility it offers in the this listing. Indeed, all markings reachable way it builds the search space, which, in turn, in one step are unified in one sole marking: leads to valuable consequences over the search They are superposed, and copies of itself.