×

zbMATH — the first resource for mathematics

Partial (set) 2-structures. II: State spaces of concurrent systems. (English) Zbl 0696.68083
Summary: [For part I see the preview review in Zbl 0696.68082.]
We continue the investigation of labeled partial (set) 2-structures 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” description in the form of directed edge-labeled graphs are investigated.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68R10 Graph theory (including graph drawing) in computer science
68N25 Theory of operating systems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: central models and their properties. Berlin Heidelberg New York: Springer 1987 · Zbl 0619.00023
[2] Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: applications and relationships to other models of concurrency. Berlin Heidelberg New York: Springer 1987 · Zbl 0619.00024
[3] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear) · Zbl 0701.05051
[4] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear) · Zbl 0701.05052
[5] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf. 27, 315–342 · Zbl 0696.68082
[6] Petri, C.A.: Kommunikation mit Automaten. Schriften des Institutes für Instrumentelle Mathematik, Bonn 1962 (in German)
[7] Reisig, W.: Petri nets: an introduction. Berlin Heidelberg New York: Springer 1985 · Zbl 0555.68033
[8] 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 · Zbl 0607.68045
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.