finite.gal 266 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
gal finite
{
  //arrays
  //variables
  int P.a=0;
  int P.b=0;
  //transitions 
  transition t0  [ ( ( P.a < 3 ) && ( P.b < 3 ) ) ] 
     {     P.a = ( 1 + P.a );
    }

  transition t1  [ ( ( P.a < 3 ) && ( P.b < 3 ) ) ] 
     {     P.b = ( 1 + P.b );
    }


}