Initial Problem

Start: l0
Program_Vars: X₀, X₁
Temp_Vars:
Locations: l0, l1, l10, l11, l12, l2, l3, l4, l5, l6, l7, l8, l9
Transitions:
t₀: l0(X₀, X₁) → l2(X₀, X₁)
t₃: l1(X₀, X₁) → l4(X₀, X₁)
t₉: l10(X₀, X₁) → l9(X₀, X₁)
t₁₁: l11(X₀, X₁) → l12(X₀, X₁)
t₁: l2(X₀, X₁) → l3(X₀, X₁)
t₂: l3(X₀, X₁) → l1(X₀, X₁)
t₄: l4(X₀, X₁) → l5(X₀, X₁)
t₅: l5(X₀, X₁) → l6(X₀, X₁)
t₆: l6(X₀, X₁) → l7(X₀, X₁)
t₇: l7(X₀, X₁) → l8(X₀, X₁)
t₈: l8(X₀, X₁) → l10(X₀, X₁)
t₁₀: l9(X₀, X₁) → l11(X₀, X₁)

Preprocessing

Eliminate variables {X₀,X₁} that do not contribute to the problem

Problem after Preprocessing

Start: l0
Program_Vars:
Temp_Vars:
Locations: l0, l1, l10, l11, l12, l2, l3, l4, l5, l6, l7, l8, l9
Transitions:
t₂₄: l0 → l2
t₂₅: l1 → l4
t₂₆: l10 → l9
t₂₇: l11 → l12
t₂₈: l2 → l3
t₂₉: l3 → l1
t₃₀: l4 → l5
t₃₁: l5 → l6
t₃₂: l6 → l7
t₃₃: l7 → l8
t₃₄: l8 → l10
t₃₅: l9 → l11

All Bounds

Timebounds

Overall timebound:12 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
t₃₁: 1 {O(1)}
t₃₂: 1 {O(1)}
t₃₃: 1 {O(1)}
t₃₄: 1 {O(1)}
t₃₅: 1 {O(1)}

Costbounds

Overall costbound: 12 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
t₃₁: 1 {O(1)}
t₃₂: 1 {O(1)}
t₃₃: 1 {O(1)}
t₃₄: 1 {O(1)}
t₃₅: 1 {O(1)}

Sizebounds