"Optimal-Cost Reachability Analysis Based on Time Petri Nets."

Hanifa Boucheneb et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics