Arbeitspapiere der GMD Nr. 513, pages 1-66. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, February 1991. In German.
Abstract: The paper discusses the following property: If a system consists of two modules which are connected by a common interface, the resulting system behaviour cannot be determined by the behaviour of the modules. An adequate equivalence relation is needed to check whether a system is an ``implementation'' of another one. For this problem an interface equivalence relation is proposed. Then checking can be simplified by two reduction relations. Condition/event nets are used to describe concurrent systems.
Keywords: condition/event net; process conformity testing; interface equivalence; case graph; reduction.