Kuske, D. 2009. Weighted and unweighted trace automata. Acta Cybernetica. 19, 2 (Jan. 2009), 393-410.