Technical Report No. 90--13. Leiden, The Netherlands: University, Department of Computer Science, May 1990.
Abstract: There is a natural way of associating a transition system with each elementary net system. The question arises as to which transition systems correspond to elementary net systems. A complete answer was provided by Ehrenfeucht and Rozenberg by identifying a basic notion called regions for transition systems. The class of transition systems that were identified throught this work will be called elementary transition systems. The main aim of this paper is to show that this link established between elementary transition systems and elementary net systems can be liftet to respect appropriately chosen behaviour preserving transformations between elementary transition systems and between elementary net systems.
Keywords: elementary transition system; elementary net system; region (of) transition systems; behaviour preserving transformation.