Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

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

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.

This is a preview of subscription content, log in to check access.

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).

  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)

  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)

  4. [ER 4] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part II: State spaces of concurrent systems. Acta Inf.27, 343–368 (1990)

  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 1986

  6. [NRT] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems (manuscript)

  7. [W] Winskel, G.: A compositional proof system on a category of labeled transition systems. Inf. Control (in press 1990)

Download references

Author information

Correspondence to G. Rozenberg.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Ehrenfeucht, A., Rozenberg, G. A characterization of set representable labeled partial 2-structures through decompositions. Acta Informatica 28, 83–94 (1990). https://doi.org/10.1007/BF02983375

Download citation

Keywords

  • Product Operation
  • Label Transition System
  • Binary Switch
  • Compositional Proof
  • Partial Substructure