For the most recent entries see the Petri Nets Newsletter.

Partial (Set) 2-Structures. II. State Spaces of Concurrent Systems.

Ehrenfeucht, A.; Rozenberg, G.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography