Representation of traces by vectors of words
Discrete Mathematics
2015-05-13 v2
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.
Keywords
Cite
@article{arxiv.1505.02403,
title = {Representation of traces by vectors of words},
author = {Samy Abbes},
journal= {arXiv preprint arXiv:1505.02403},
year = {2015}
}
Comments
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)