Computation of admissible marking sets in weighted state machines by dynamic programming.