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.
CITATION STYLE
Bernardinello, L. (1993). Synthesis of net systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 691 LNCS, pp. 89–105). Springer Verlag. https://doi.org/10.1007/3-540-56863-8_42
Mendeley helps you to discover research relevant for your work.