A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems