Acta Informatica

, Volume 28, Issue 1, pp 83–94 | Cite as

A characterization of set representable labeled partial 2-structures through decompositions

  • A. Ehrenfeucht
  • G. Rozenberg
Article
  • 25 Downloads

Summary

The notion of the product of (initialized) labeled partial 2-structures is introduced, and then set representable (initialized) labeled partial 2-structures are characterized in terms of products of binary switches which are “very simple” (initialized) labeled partial 2-structures.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ER 1] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci.70, 277–304 (1990).MATHCrossRefMathSciNetGoogle Scholar
  2. [ER 2] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci.70, 305–342 (1990)MATHCrossRefMathSciNetGoogle Scholar
  3. [ER 3] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf.27, 315–342 (1990)MATHMathSciNetGoogle Scholar
  4. [ER 4] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part II: State spaces of concurrent systems. Acta Inf.27, 343–368 (1990)MATHMathSciNetCrossRefGoogle Scholar
  5. [ER 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. (Lect. Notes Comput. Sci., vol. 224, pp. 585–668) Berlin Heidelberg New York: Springer 1986CrossRefGoogle Scholar
  6. [NRT] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems (manuscript)Google Scholar
  7. [W] Winskel, G.: A compositional proof system on a category of labeled transition systems. Inf. Control (in press 1990)Google 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 ScienceLeiden UniversityLeidenThe Netherlands

Personalised recommendations