Pages that link to "Item:Q5025060"
From MaRDI portal
The following pages link to Cost Problems for Parametric Time Petri Nets* (Q5025060):
Displaying 5 items.
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- (Q4818749) (← links)
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems (Q6160973) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)