Arbeitspapiere der GMD Nr. 494, pages 1-43 pp.. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, December 1990. In German.
Also in: GMD-ARB. 1991. In German; ISSN 0723-0508.
Abstract: Zur Reduktion der Analysekomplexität ist es oft zweckmäÑig, Produktnetze unter einer eingeschränkten Sichtweise zu analysieren. In dieser Arbeit wird das ``interne Verhalten'' von Teilnetzen mit Modulhomomorphismen beschrieben. Es wird gezeigt, daÑ zur Bestimmung der Bilder von Schaltfolgen unter Modulhomomorphismen keine vollständige Erreichbarkeitsanalyse nötig ist, sondern daÑ die Berechnung eines reduzierten Erreichbarkeitsgraphen genügt. Mögliche Deadlocks, die unter der eingeschränkten Sichtweise ``verdeckt'' sein können, werden mit Deadlocksprachen sichtbar gemacht.
Keywords: modul homomorphism; product net; subnet; reachability analysis reduction; reduced reachability graph; deadlock language.