Pages that link to "Item:Q1401959"
From MaRDI portal
The following pages link to Blocking a transition in a free choice net and what it tells about its throughput. (Q1401959):
Displaying 6 items.
- Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions (Q964840) (← links)
- Simplified proof of the blocking theorem for free-choice Petri nets (Q988568) (← links)
- Optimal stationary behavior for a class of timed continuous Petri nets (Q1881189) (← links)
- Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← links)
- Extremal throughputs in free-choice nets (Q2256881) (← links)
- Free-choice Nets with Home Clusters are Lucent (Q5158668) (← links)