Wiki
Clone wikiGSPN benchmark / Net06
Alternating bit protocol
| Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
|---|---|---|---|---|
| monoT-semiflow | (16, 12) | throughput | sendD0 | X(sendD0) |
Reference
J. Campos, Performance Bounds for Synchronized Queueing Networks, PhD Thesis, Research Report GISI-RR-90-20, 1990.
Scaling parameter
N: Number of messages (initial marking of place P1).
- Values: 1, 10, 100
Structural features
- all the places are covered by some P-invariant
- structurally bounded
- all the transitions are covered by the T-invariant
- deadlock-free
- live
- the initial marking is a home state
Updated