Advertisement

Acta Informatica

, Volume 27, Issue 4, pp 315–342 | Cite as

Partial (set) 2-structures

Part I: basic notions and the representation problem
  • A. Ehrenfeucht
  • G. Rozenberg
Article

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.

Keywords

Information System Operating System Data Structure State Space Communication Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear)Google Scholar
  2. 2.
    Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear)Google Scholar
  3. 3.
    Harary, F.: Graph theory. Reading, Mass: Addison-Wesley 1989Google Scholar
  4. 4.
    Reisig, W.: Pétri nets: An introduction. Berlin Heidelberg New York: Springer 1985Google Scholar
  5. 5.
    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 1986Google Scholar

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • A. Ehrenfeucht
    • 1
  • G. Rozenberg
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of Colorado at BoulderBoulderUSA
  2. 2.Department of Computer ScienceUniversity of LeidenRA LeidenThe Netherlands

Personalised recommendations