Pages that link to "Item:Q1191025"
From MaRDI portal
The following pages link to \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems (Q1191025):
Displaying 12 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Global and local views of state fairness (Q804304) (← links)
- Marking fairness in Petri nets (Q1076520) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- Fair Petri nets and structural induction for rings of processes (Q1346633) (← links)
- On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets (Q1360354) (← links)
- Deciding a class of path formulas for conflict-free Petri nets (Q1364130) (← links)
- On the fluidization of Petri nets and marking homothecy (Q2252988) (← links)
- (Q3361902) (← links)
- (Q3802633) (← links)
- (Q4472203) (← links)
- Thinking in Cycles (Q6487393) (← links)