"Computing Optimal Coverability Costs in Priced Timed Petri Nets."

Parosh Aziz Abdulla, Richard Mayr (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics