Wiki
Clone wikiGSPN benchmark / Net17
Backbone: a distributed fault-tolerance altorithm
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
general | (67,75) | throughput | recovery (center) | X(recovery) |
Reference
S. Bernardi, J. Merseguer, QoS Assessment via Stochastic Analysis, IEEE Internet Computing, 10(3): 32-42 (2006).
Scaling parameter
none
Observation: It is not straightforward parametrize this model since, besides the initial marking, also arc multiplicities need to be changed accordingly.
Structural properties
- not all the places are covered by P-invariants
- not all the transitions are covered by T-invariants
- deadlock-free
- not live
- the initial marking is a home state
Updated