@article{CC_2006_35_3_a12,
     author = {Popova-Zeugmann, Louchka},
     title = {Time {Petri} nets state space reduction using dynamic programming},
     journal = {Control and Cybernetics},
     pages = {721--748},
     publisher = {mathdoc},
     volume = {35},
     number = {3},
     year = {2006},
     zbl = {1122.68080},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CC_2006_35_3_a12/}
}