"Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets."

Didier Lime, Olivier H. Roux, Charlotte Seidner (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics