ATMT – Finite-state automaton

Block SymbolLicensing group: STANDARD

Function Description
The ATMT block implements a finite state machine with at most 16 states and 16 transition rules.

The current state of the machine i, i = 0,1,,15 is indicated by the binary outputs Q0, Q1, …, Q15. If the state i is active, the corresponding output is set to Qi=on. The current state is also indicated by the ksa output (ksa {0,1,,15}).

The transition conditions Ck, k = 0,1,,15 are activated by the binary inputs C0, C1, …, C15. If Ck = on the k-th transition condition is fulfilled. The transition cannot happen when Ck = off.

The automat function is defined by the following table of transitions:

S1 C1 FS1
S2 C2 FS2
Sn Cn FSn

Each row of this table represents one transition rule. For example the first row

S1 C1 FS1

has the meaning

If (S1 is the current state AND transition condition C1 is fulfilled)
then proceed to the following state FS1.

The above mentioned table can be easily constructed from the automat state diagram or SFC description (Sequential Function Charts, formerly Grafcet).

The R1 = on input resets the automat to the initial state S0. The SET input allows manual transition from the current state to the ns0 state when rising edge occurs. The R1 input overpowers the SET input. The HLD = on input freezes the automat activity, the automat stays in the current state regardless of the Ci input signals and the tstep timer is not incremented. The TOUT output indicates that the machine remains in the given state longer than expected. The time limits TOi for individual states are defined by the touts array. There is no time limit for the given state when TOi is set to zero. The TOUT output is set to off whenever the automat changes its state.

It is possible to allow more state transitions in one cycle by the morestps parameter. However, this option must be thoroughly considered and tested, namely when the TOUT output is used in transition conditions. In such a case it is strongly recommended to incorporate the ksa output in the transition conditions as well.

The development tools of the REXYGEN system include also the SFCEditor program. You can create SFC schemes graphically using this tool. Run this editor from REXYGEN Studio by clicking the Configure button in the parameter dialog of the ATMT block.



Reset signal, R1 = on brings the automat to the initial state S0; the R1 input overpowers the SET input



This state is reached when rising edge occurs at the the SET input

Long (I32)


The rising edge of this signal forces the transition to the ns0 state



The HLD = on freezes the automat, no transitions occur regardless of the input signals, tstep is not increasing



The transition conditions; Ci = on means that the i-th condition was fulfilled and the corresponding transition rule can be executed




Output signals indicating the current state of the automat; the current state i is indicated by Qi = on



Integer code of the active state

Long (I32)


Time elapsed since the current state was reached; the timer is set to 0 whenever a state transition occurs

Double (F64)


Flag indicating that the time limit for the current state was exceeded




Allow multiple transitions in one cycle of the automat


off ..


on ...



Number of state transition table rows   0  64 4

Long (I32)


Filename of block configurator data file (filename is generated by system if parameter is empty)



State transition table (matrix)  [0 0 1; 1 1 2; 2 2 3; 3 3 0]

Byte (U8)


Vector of timeouts TO0, TO1, …, TO15 for the states S0, S1, …, S15  [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]

Double (F64)

2022 © REX Controls s.r.o.,