Arbeitspapiere der GMD Nr. 332. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1988. In German.
Abstract: Produktnetze sind eine spezielle Form beschrifteter Petri-Netze. Zur automatischen Analyse von Produktnetzmodellen wurde das System NESSY entwickelt und um ein Graphiksystem erweitert. In dem vorliegenden Papier wird die integrierte Benutzung des verteilten Entwurfs- und Analysesytems für Produktnetze beschrieben.