1 PROGRAM MAIN_TEST

     2   VAR

     3     QX1 AT %QX1 : BOOL := 1;

     4     QX2 AT %QX2 : BOOL := 0;

     5     QX3 AT %QX3 : BOOL;

     6     IX1 AT %IX1 : BOOL;

     7     IX2 AT %IX2 : BOOL;

     8     IX3 AT %IX3 : BOOL;

     9   END_VAR

    10 

    11   INITIAL_STEP GO:

    12   END_STEP

    13 

    14   TRANSITION FROM GO TO STEP1

    15     := IX1 = FALSE;

    16   END_TRANSITION

    17 

    18   STEP STEP1:

    19     ONSTEP1(N);

    20   END_STEP

    21 

    22   ACTION ONSTEP1:

    23     QX1 := TRUE;

    24     QX2 := TRUE;

    25   END_ACTION

    26 

    27   TRANSITION FROM STEP1 TO STEP2

    28     := IX2 = TRUE;

    29   END_TRANSITION

    30 

    31   STEP STEP2:

    32     INLINE1(P);

    33   END_STEP

    34 

    35   ACTION INLINE1:

    36     QX1 := QX2 XOR QX1; QX2 := NOT QX2;

    37   END_ACTION

    38 

    39   TRANSITION FROM STEP2 TO A1

    40     := QX1 = FALSE AND QX2 = FALSE;

    41   END_TRANSITION

    42 

    43   STEP A1:

    44     INLINE2(N);

    45   END_STEP

    46 

    47   ACTION INLINE2:

    48     IX1 := TRUE;

    49   END_ACTION

    50 

    51   TRANSITION FROM A1 TO STEP2

    52     := IX1 = TRUE;

    53   END_TRANSITION

    54 

    55   TRANSITION FROM STEP2 TO (D1, D2, D3)

    56     := QX1 = TRUE AND QX2 = TRUE;

    57   END_TRANSITION

    58 

    59   STEP D1:

    60     INLINE5(N);

    61   END_STEP

    62 

    63   ACTION INLINE5:

    64     QX1 := FALSE;

    65   END_ACTION

    66 

    67   TRANSITION FROM D1 TO E1

    68     := NOT ( QX1 OR QX2 OR QX3 );

    69   END_TRANSITION

    70 

    71   STEP E1:

    72     INLINE8(N);

    73   END_STEP

    74 

    75   ACTION INLINE8:

    76     QX1 := TRUE;

    77   END_ACTION

    78 

    79   TRANSITION FROM (E1, E2, E3) TO GO

    80     := QX1 AND QX2 AND QX3;

    81   END_TRANSITION

    82 

    83   STEP D2:

    84     INLINE6(N);

    85   END_STEP

    86 

    87   ACTION INLINE6:

    88     QX2 := FALSE;

    89   END_ACTION

    90 

    91   TRANSITION FROM D2 TO E2

    92     := NOT ( QX1 OR QX2 OR QX3 );

    93   END_TRANSITION

    94 

    95   STEP E2:

    96     INLINE9(N);

    97   END_STEP

    98 

    99   ACTION INLINE9:

   100     QX2 := TRUE;

   101   END_ACTION

   102 

   103   STEP D3:

   104     INLINE7(N);

   105   END_STEP

   106 

   107   ACTION INLINE7:

   108     QX2 := FALSE;

   109   END_ACTION

   110 

   111   TRANSITION FROM D3 TO E3

   112     := NOT ( QX1 OR QX2 OR QX3 );

   113   END_TRANSITION

   114 

   115   STEP E3:

   116     INLINE10(N);

   117   END_STEP

   118 

   119   ACTION INLINE10:

   120     QX3 := TRUE;

   121   END_ACTION

   122 

   123   TRANSITION FROM STEP2 TO A3

   124     := QX1 = TRUE AND QX2 = FALSE;

   125   END_TRANSITION

   126 

   127   STEP A3:

   128     INLINE4(N);

   129   END_STEP

   130 

   131   ACTION INLINE4:

   132     IX1 := TRUE;

   133   END_ACTION

   134 

   135   TRANSITION FROM A3 TO STEP2

   136     := IX1 = TRUE;

   137   END_TRANSITION

   138 

   139   TRANSITION FROM STEP2 TO A2

   140     := QX1 = FALSE AND QX2 = TRUE;

   141   END_TRANSITION

   142 

   143   STEP A2:

   144     INLINE3(N);

   145   END_STEP

   146 

   147   ACTION INLINE3:

   148     IX1 := FALSE;

   149   END_ACTION

   150 

   151   TRANSITION FROM A2 TO STEP2

   152     := IX1 = FALSE;

   153   END_TRANSITION

   154 

   155 END_PROGRAM

   156 

   157 

   158 CONFIGURATION STD_CONF

   159 

   160   RESOURCE STD_RESSOURCE ON BEREMIZ

   161     TASK STD_TASK(INTERVAL := t#100ms,PRIORITY := 0);

   162     PROGRAM MAIN_INSTANCE : MAIN_TEST;

   163   END_RESOURCE

   164 END_CONFIGURATION