Weighted and unweighted trace automata
Dietrich Kuske · Publikation Server (Leipzig University) · 2009
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.