A local transform for trace monoids

Abstract

10 pagesWe introduce a transformation for functions defined on the set of cliques of a trace monoid. We prove an inversion formula related to this transformation. It is applied in a probabilistic context in order to obtain a necessary normalization condition for the probabilistic parameters of invariant processes---a class of probabilistic processes introduced elsewhere, and intended to model an asynchronous and memoryless behavior