Pages that link to "Item:Q1683438"
From MaRDI portal
The following pages link to Optimal reachability in cost time Petri nets (Q1683438):
Displaying 7 items.
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Priced timed Petri nets (Q2865063) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- (Q4818749) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- Optimal time-bounded reachability analysis for concurrent systems (Q6091409) (← links)
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems (Q6160973) (← links)