Optimal reachability in cost time Petri nets
From MaRDI portal
Publication:1683438
DOI10.1007/978-3-319-65765-3_4zbMath1494.68180OpenAlexW2739618175MaRDI QIDQ1683438
Didier Lime, Hanifa Boucheneb, Olivier H. Roux, Baptiste Parquier, Charlotte Seidner
Publication date: 1 December 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_4
Related Items
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets, Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems, Backward symbolic optimal reachability in weighted timed automata, Cost Problems for Parametric Time Petri Nets*