Arbeitspapiere der GMD Nr. 505, pages 1-21 pp.. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, January 1991. In German.
Abstract: Produktnetze sind beschriftete Petrinetze mit individuellen Token. Die Ausdrucksstärke der Produktnetze beruht auf der Möglichkeit, komplexe Mengen und Funktionen zu ihrer Beschriftung definieren zu können. Die Berechnung des Erreichbarkeitsgraphen erfordert die vollständige Berechenbarkeit der Schaltregel. Die Produktnetzmaschine ist ein integriertes Werkzeug zum Entwurf and zur Analyse von Produktnetzen, das den Komplexitätsgrad praktisch relevanter Spezifikationen bewältigt.
Keywords: product net tool, (a survey); design (and) analysis (of) product net(s).