Screenshot Examples

  1. Home
  2. Screenshot

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

  1. the initial Petri net with confusion represented in Woped
  2. 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
  3. 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
  4. 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

Example 1: Asymmetric confusion

Input Petri Net

The transitions a and b belong to the same concurrent process.But executing a before b has different probability (25%) respect to executing b before a (50%).

S-Cells decomposition

Top-level S-Cells:

  • C0 = {p2,p3,c,b}
  • C1 = {p1,a,d}

Resulting confusion-free net in Graphviz

the persistent place pb, when marked, represents the activation of transition b after knowing that p3 will be never marked

Resulting confusion-free net in Woped.

p1 and p2 are intially marked since they are marked in input petri net. We can see that at the start the token in p2 cannot be consumed from any transition.

Example 2: Symmetric confusion

Input Petri Net

The transitions b and g belong to the same concurrent process.But executing b before g has different probability (30%) respect to executing g before b (50%).

S-Cells decomposition

The unique S-cell that compose the Net is C0 = {p2,p3,p8,b.c,g}.
the maximal transactions of C0 are:

  1. b,g
  2. c

Resulting confusion-free net in Graphviz

The transitions that represents the transaction of the unique S-cell are enabled. Each of these has an own probability of execution.

Resulting confusion-free net in Woped.

the places p2, p3 and p8 are intially marked since they are also in the input petri net. The persistent places that represent the negative of these places are not generated because they are initilally marked