Pages that link to "Item:Q1014950"
From MaRDI portal
The following pages link to A sufficient condition for the liveness of weighted event graphs (Q1014950):
Displaying 8 items.
- Complexity results for weighted timed event graphs (Q429654) (← links)
- A sufficient condition for the liveness of weighted event graphs (Q1014950) (← links)
- Minimizing place capacities of weighted event graphs for enforcing liveness (Q1020558) (← links)
- Modelling deadlock in open restricted queueing networks (Q1754125) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)
- On the Reversibility of Well-Behaved Weighted Choice-Free Systems (Q5166772) (← links)
- Max-plus algebraic description of evolutions of weighted timed event graphs (Q6635704) (← links)
