Algorithm 1.

DTMC Determination.

1:  procedure DTMC-D(Network, PercActiveNodes, maxIter)

2:       nodes ← number of nodes in the network

3:       initialCondition ← defineInitialCondition(nodes/stable state, PercActiveNodes/PercPerturbation)

4:       change ← 1     ⊳ flag used to track changes in the nodes configuration

5:       iter ← 0          ⊳ index that keeps track of the number of iterations

6:       newState ← initialCond

7:       while change == 1 — iter < maxIter do

8:            newState ← oldState

9:            updateOrder ← defineUpdateOrder(nodes)

10:            for o in updateOrder do

11:                  newState ← updateNode(newState,o)

12:            end for

13:            iter ← iter+1

14:            if oldState==newState then         ⊳ The configuration hasn't changed

15:                change ←0

16:            end if

17:       end while

18:       return newState

19:  end procedure