# Referendum (https://mcc.lip6.fr/pdf/Referendum-form.pdf)
# parameters :
#  - lang = coffee : annotation language
#  - count = 8 : number of voters

lang coffee

net "Referendum" :
    place v number = 0, 1, 2, 3, 4, 5, 6, 7
    place y number
    place n number
    trans yes :
        < v var = i
        > y var = i
    trans no :
        < v var = i
        > n var = i