Optimal reachability in cost time Petri nets
From MaRDI portal
Publication:1683438
DOI10.1007/978-3-319-65765-3_4zbMath1494.68180MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cost Problems for Parametric Time Petri Nets*, 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