longstate.dve

input int values = 2;

process a {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process b {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process c {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process d {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process e {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process f {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process g {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}
process h {
    int x;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}

system async;