Representation of traces by vectors of words

Abstract

We show that every trace monoid is isomorphic to a sub-monoid of a monoid of word vectors. It provides a concrete representation of the elements of a trace monoid as processes associated with a resource sharing mechanism. We illustrate this representation by obtaining some results on the ordering structure of the left divisibility relation on trace monoids.

Withdrawn since the results are known, published in the 1985 RAIRO paper by Cori and Perrin (thanks to A. Muscholl for pointing that out to me)