In: Journal of Theoretical Computer Science, Vol. 64, No. 1, pages 67-81. 1989.
Abstract: A semi-commutation is a generalization of a partial commutation. So-called traces are generated by partial commutations. This class is generalized in the paper for semi-commutations called quasi-traces. A study of quasi-traces and their application to the analysis of the firing sequences of Petri nets are presented.