Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A.Ehrenfeucht, G.Rozenberg: Partial (Set) 2-Structures. I and II, in: Acta Informatica, Vol. 27, No. 4, pp. 315–368 (1990).
M.Nielsen, G.Rozenberg, P.S.Thiagarajan: Elementary Transition Systems, in: Theoretical Computer Science, vol. 96, No. 1, pp. 3–33 (1992).
W.Reisig: Petri Nets, EATCS Monographs, Springer-Verlag, (1985).
W.Reisig: Towards “handier” solutions of the synthesis problem, invited talk at the REX Concurrencydag, Leiden, 2 October 1992.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardinello, L. (1993). Synthesis of net systems. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_42
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive