Minimal Cost Reachability/Coverability in Priced Timed Petri Nets.

Parosh Aziz Abdulla, Richard Mayr

Browse the full FOSSACS paper archive.