The way work load is shared between these stages depends on the particular approach in use. The reader unfamiliar with Petri nets needs only know the following: They are made of places, transitions, and tokens. A place can be seen as a token holder. When it contains one or more tokens, it is said to be marked. Transitions allow tokens to circulate from place to place.

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.