Pages that link to "Item:Q4136583"
From MaRDI portal
The following pages link to Recoverability of Communication Protocols--Implications of a Theoretical Study (Q4136583):
Displayed 8 items.
- Causal behaviours and nets (Q5096367) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)
- Petri net‐based modeling and performance analysis of transaction scheduling in grid database (Q5189827) (← links)
- A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios (Q5430127) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
- Verifying time Petri nets by linear programming (Q5934289) (← links)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net (Q6053940) (← links)