Optimal reachability in cost time Petri nets

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

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*

This page was built for publication: Optimal reachability in cost time Petri nets