Finds all automated enabled transitions.
Fires a specific transition with input, computes the marking it should consume
Finds the (optional) first transition that is enabled & automatically fireable
Checks if a transition is automatically fireable by the runtime (not triggered by some outside input)
Checks if a transition is automatically fireable by the runtime (not triggered by some outside input)
By default, cold transitions (without in adjacent places) are not picked.
Given a token game picks the next job(s) to be executed