Computing Optimal Coverability Costs in Priced Timed Petri Nets.

Parosh Aziz Abdulla Richard Mayr

Published in: LICS (2011)

Keyphrases

timed petri nets
optimal solution
dynamic programming
state space
scheduling problem
petri net
total cost
long run
discrete event systems