Pages that link to "Item:Q1683438"
From MaRDI portal
The following pages link to Optimal reachability in cost time Petri nets (Q1683438):
Displayed 4 items.
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets (Q6144225) (← links)
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems (Q6160973) (← links)