PARTIAL (SET) 2-STRUCTURES .1. BASIC NOTIONS AND THE REPRESENTATION PROBLEM

The notion of a labeled partial 2-structure is introduced and studied. It generalizes the notion of a (labeled) 2-structure studied in [1] and [2] and it provides a convenient mathematical framework for studying graphs. In particular, a subclass of labeled partial 2-structures, the so-called labeled partial set 2-structures corresponds very closely to those graphs that are state spaces of concurrent systems. Part I of this paper investigates the basic theory of labeled partial 2-structures and it considers the problem of representing partial 2-structures as partial set 2-structures. © 1990 Springer-Verlag.