In: MTA Szamitastech. Kutato Int. Budapest, No. 32, pages 87-104. 1985.
Abstract: The connection between trace languages and projective products is pointed out, and a parallel product is defined. An approach to applying it in analyzing synthesized computation systems is presented. The relation between trace languages and safe Petri nets is also considered.