Computing Optimal Coverability Costs in Priced Timed Petri Nets

Parosh Aziz Abdulla Richard Mayr

Published in: CoRR (2011)

Keyphrases

timed petri nets
dynamic programming
constraint satisfaction problems
total cost
asymptotically optimal