Summary
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear)
Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear)
Harary, F.: Graph theory. Reading, Mass: Addison-Wesley 1989
Reisig, W.: Pétri nets: An introduction. Berlin Heidelberg New York: Springer 1985
Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Current trends in concurrency, pp. 585–668. Berlin Heidelberg New York: Springer 1986
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ehrenfeucht, A., Rozenberg, G. Partial (set) 2-structures. Acta Informatica 27, 315–342 (1990). https://doi.org/10.1007/BF00264611
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264611