In this pages some examples of execution scenario are shown. For each scenario there are four images that describe from left:

- the initial Petri net with confusion represented in Woped
- the top-level S-Cell decomposition of the intial Petri net. The sub s-cells obtained by removing places and its descendants from the top-level s-cells are NOT shown.The S-Cells are identified through dashed boxes
- the resulting Petri Net without confusion represented in Graphviz, where the double circles are the persistent places, the float number under the name of a transition is the probability of executing that transition
- the resulting petri net without confusion represented in Graphviz, where the smaller circles are the persistent places, and the smaller rectangle are the persistent transitions. The float number next to the name of transition is the probability of executing that transition