Elementary transition systems (Q1190485)

The relation between elementary net systems [\textit{M. Nielsen}, \textit{G. Rozenberg} and \textit{P. S. Thiagarajan}, Behavioural notion for elementary net systems, Distributed Computing 4, 45-57 (1990); \textit{P. S. Thiagarajan}, Lect. Notes Comput. Sci. 254, 26-59 (1986; Zbl 0636.68063); \textit{G. Rozenberg}, Lect. Notes Comput. Sci. 254, 60-94 (1986; Zbl 0636.68064)] and transition systems is studied through the notion of elementary transition systems, denoting a subclass of the class of all transition systems. It is shown, how behaviour preserving transformations between elementary net systems correspond to those between elementary transition systems. With the help of category theory net morphisms and various other morphisms between transition systems are studied. This work is a good companion to [loc. cit.] and other related works.