In: Arbeitspapiere der GMD 597. 1991. In German.
Abstract: Im Institut für Systemtechnik der GMD in Darmstadt wurden Produktnetze zur formalen Spezifikation verteilter Systeme definiert und an praktischen Beispielen erprobt. Zum Entwurf von Produktnetzen sowie zur Analyse des dynamischen Verhaltens solcher Spezifikationen wurde ein Werkzeug, die Produktnetzmaschine entwickelt. Es wird gezeigt, daÑ zur Bestimmung der Bilder von Schaltfolgen unter Modulhomomorphismen keine vollständige Erreichbarkeitsanalyse nötig ist, sondern daÑ die Berechnungeines reduzierten Erreichbarkeitsgraphen genügt.