Backbone: a distributed fault-tolerance altorithm

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