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.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
[ER 1] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci.70, 277–304 (1990).
[ER 2] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci.70, 305–342 (1990)
[ER 3] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf.27, 315–342 (1990)
[ER 4] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part II: State spaces of concurrent systems. Acta Inf.27, 343–368 (1990)
[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
[NRT] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems (manuscript)
[W] Winskel, G.: A compositional proof system on a category of labeled transition systems. Inf. Control (in press 1990)
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
- Product Operation
- Label Transition System
- Binary Switch
- Compositional Proof
- Partial Substructure