Figure 6

A subnet representing the feasibility of minimal t-invariants. The feasibility of minimal t-invariants is represented to illustrate Equation (5). Place p _i belongs to a p-invariant. It is adjacent to the pretransitions t₁, t₂,...t _k and connected to the transition t _j by a read arc. X and Y stand for the sets of t-invariants including the pre- and the posttransitions, respectively, which are contained in the corresponding dashed rectangles. Since p _i does not carry tokens, t-invariants are not feasible if they contain transition t _j without containing at least one of the transitions t₁, t₂,...t _k . Thus, the read arc has to be bridged as described in Equation (5) to get feasible t-invariants.