Synthesis of net systems
Transition Systems are among the most general mathematical structures used to describe the behaviour of systems, both sequential and concurrent. Ehrenfeucht and Rozenberg identified a basic notion for this structures, and called it region. They used it to define a construction yielding a Net System whose behaviour can be described by a given Transition System. In this paper, properties of the set of regions of Transition Systems are investigated and an alternative construction is defined.
Topicstheory of concurrency analysis and synthesis structure and behaviour of nets
Unable to display preview. Download preview PDF.
- 1.A.Ehrenfeucht, G.Rozenberg: Partial (Set) 2-Structures. I and II, in: Acta Informatica, Vol. 27, No. 4, pp. 315–368 (1990).Google Scholar
- 2.M.Nielsen, G.Rozenberg, P.S.Thiagarajan: Elementary Transition Systems, in: Theoretical Computer Science, vol. 96, No. 1, pp. 3–33 (1992).Google Scholar
- 3.W.Reisig: Petri Nets, EATCS Monographs, Springer-Verlag, (1985).Google Scholar
- 4.W.Reisig: Towards “handier” solutions of the synthesis problem, invited talk at the REX Concurrencydag, Leiden, 2 October 1992.Google Scholar
- 5.G.Rozenberg, P.S.Thiagarajan: Petri nets: basic notions, structure, behaviour, in: J.W.de Bakker, W.P.de Roever, G.Rozenberg (eds), Current trends in concurrency, pp 585–668, Springer-Verlag, 1986.Google Scholar