Initial Problem

Start: f1
Program_Vars: X₀
Temp_Vars:
Locations: f1, f4
Transitions:
t₀: f1(X₀) → f4(3)
t₁: f4(X₀) → f4(3)

Preprocessing

Eliminate variables [X₀] that do not contribute to the problem

Problem after Preprocessing

Start: f1
Program_Vars:
Temp_Vars:
Locations: f1, f4
Transitions:
t₄: f1 → f4
t₅: f4 → f4

All Bounds

Timebounds

Overall timebound:inf {Infinity}
t₄: 1 {O(1)}
t₅: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
t₄: 1 {O(1)}
t₅: inf {Infinity}

Sizebounds