Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets

Figure 3

Reachability spaces for two nonlinear constraints.

(a)

(b)