In: Diplomarbeit, Universität Hamburg. 1992. In German.
Abstract: This masters thesis compares condition/event-systems, assignment systems and temporal logic. It is shown that all three formalisms can be conceived as elementary transitionsystems. Furthermore it is shown how an elementary transitionsystem can be translated into an condition/event-system and in to a set of temporal formulae that discribes the behavior of the system.