
0; entry Off;

1;   exit Off;
 entry Work;
 entry Ready;

2;   exit Ready;
 entry Active; parallel
 entry Active1;
 entry Active2;
 entry Running;
 entry RemainOn;
 entry Running2;
 entry Running21;

3;
4;
5;
6;
7;
8;   exit Running;
 entry Finit;

9;
10;
11;
12;
13;
14;
15;
16;
17;
18;
19;
