flockofbirds_v2_c4.pp 575 Bytes
Newer Older
Philipp Meyer's avatar
Philipp Meyer committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
population protocol "Flock of Birds Protocol (variant 2) with c = 4" {
    states      { _0 _1 _2 _3 _4 }
    transitions { x_0_4 x_1_1 x_1_4 x_2_2 x_2_4 x_3_3 x_3_4 }
    arcs {
       { _0, _4 } -> x_0_4 -> { _4, _4 }
       { _1, _1 } -> x_1_1 -> { _1, _2 }
       { _1, _4 } -> x_1_4 -> { _4, _4 }
       { _2, _2 } -> x_2_2 -> { _2, _3 }
       { _2, _4 } -> x_2_4 -> { _4, _4 }
       { _3, _3 } -> x_3_3 -> { _3, _4 }
       { _3, _4 } -> x_3_4 -> { _4, _4 }
    }
    initial   { _0 _1 }
    true      { _4 }
    false     { _0 _1 _2 _3 }
    predicate { _1 >= 4 }
}