autômatos temporizados, autômatos temporizados com intervalo de tempo, opacidade, Sistemas a eventos discretos.
