Minimal cost reachability/coverability in priced timed petri nets. (2009)

by P A Abdulla, R Mayr
Venue:In FOSSACS, LNCS 5504,