@article{10.5555_1774732.1774739,
    author = {Kuske, Dietrich},
    title = {Weighted and unweighted trace automata},
    year = {2009},
    issue_date = {February 2009},
    publisher = {Institute of Informatics, University of Szeged},
    address = {Szeged, HUN},
    volume = {19},
    number = {2},
    issn = {0324-721X},
    abstract = {We reprove Droste \& Gastin's characterisation from [3] of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on weighted trace automata as a corollary to the unweighted counterpart shown by Ochmanski.},
    journal = {Acta Cybern.},
    month = {feb},
    pages = {393–410},
    numpages = {18},
    keywords = {weighted automata, Mazurkiewicz traces},
    date-added = {2025-7-1 7:7:59 +0100}
}

@article{10.5555_1774732.1774739, author = {Kuske, Dietrich}, title = {Weighted and unweighted trace automata}, year = {2009}, issue_date = {February 2009}, publisher = {Institute of Informatics, University of Szeged}, address = {Szeged, HUN}, volume = {19}, number = {2}, issn = {0324-721X}, abstract = {We reprove Droste \& Gastin's characterisation from [3] of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on weighted trace automata as a corollary to the unweighted counterpart shown by Ochmanski.}, journal = {Acta Cybern.}, month = {feb}, pages = {393–410}, numpages = {18}, keywords = {weighted automata, Mazurkiewicz traces}, date-added = {2025-7-1 7:7:59 +0100} }