This modification checks only inputs in the GSPN when asking whether a transition is enabled.
Changed explicit transitions to be able to build it directly.