Time Petri nets state space reduction using dynamic programming Louchka Popova-Zeugmann — 2006 Control and Cybernetics