broadcast.pp

population protocol "Broadcast Protocol" {
    states { _true _false }
    transitions { x_false_true }
    arcs {
       { _false, _true } -> x_false_true -> { _true, _true }
    }
    initial { _true _false }
    true { _true }
    false { _false }
}