Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets

Figure 2

Reachability spaces for classical nonlinear constraints.

(a)

(b)

(c)

(d)

(e)