A Planner for Both Satisfaction and Optimization Problems

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.