Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, GMD-Studien Nr. 129, 1987. In German.
Abstract: Ein Produktnetz ist ein Netz kombiniert mit Kantenanschriften und Transitionsanschriften, deren Bildung den Regeln der Prädikatenlogik erster Stufe unterliegt. Durch die Einführung zweckmäÑiger Restriktionen in Bezug auf die Syntax wird die formale Semantik von Netzen aus der Interpretation von Kantenanschriften und Transitionsanschriften abgeleitet. Bei der Anwendung dieses Ansatzes wurde deutlich, daÑ es sinnvoll ist, der 1983 erstmals erfolgten formalen Definition von Produktnetzen eine präzisierte und in einigen Aspekten erweiterte Fassung folgen zu lassen. Dies geschieht in diesem Papier.