In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 89-105. Springer-Verlag, 1993.
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 these 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.