loop-go.zn 320 Bytes Raw Blame History Permalink 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 lang go declare """ const MOD int = 5 """ net "loop" : place p0 int = 0 place p1 int place p2 int trans t0 : < p0 var = x > p1 expr = (x+1) % MOD trans t1 : < p1 var = x > p2 expr = (x+2) % MOD trans t2 : < p2 var = x > p0 expr = (x+3) % MOD