Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner. Optimal Reachability in Cost Time Petri Nets. In Alessandro Abate, Gilles Geeraerts, editors, Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10419 of Lecture Notes in Computer Science, pages 58-73, Springer, 2017. [doi]
Abstract is missing.