In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 133-153. Springer-Verlag, 1988.
Abstract: Sets of traces habe been proven to be an elegant way to denote the behaviour of a given elemntary net (en) system. This paper deals with the converse: can we construct one (or more) en systems with a behaviour given by a certain set of traces. A criterion is developed which allows to decide whether en systems with a given trace behaviour exist.