In: Acta Informatica, Vol. 27, No. 4, pages 343-368. 1990.
Abstract: The authors continue the investigation of labeled partial (set) 2-structures and in particular they explore applications to the theory of net-based concurrent systems. The problem of characterizing state spaces of basic classes of Petri nets, and the problem of synthesizing state spaces of basic classes of Petri nets from their `abstract' descriptions in the form of directed edge-labeled graphs are investigated.
Keywords: labeled partial (set) 2-structure; net-based concurrent system; synthesis (of) net state space.