Summary
We continue the investigation of labeled partial (set) 2-structures initiated in [5] and in particular we explore applications to the theory of net-based concurrent systems. The problem of characterizing state spaces of basic classes of Petri nets, and the problem of synthesizing state spaces of basic classes of Petri nets from their “abstract” descriptions in the form of directed edge-labeled graphs are investigated.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: central models and their properties. Berlin Heidelberg New York: Springer 1987
Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: applications and relationships to other models of concurrency. Berlin Heidelberg New York: Springer 1987
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)
Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf. 27, 315–342
Petri, C.A.: Kommunikation mit Automaten. Schriften des Institutes für Instrumentelle Mathematik, Bonn 1962 (in German)
Reisig, W.: Petri nets: an introduction. Berlin Heidelberg New York: Springer 1985
Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakkerm 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, 343–368 (1990). https://doi.org/10.1007/BF00264612
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264612