Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets