ATN 0 Augmented Transition Network Red de Transición Aumentada 2017-12-19 Augmented Transition NetworkATN