GMD-Studien Nr. 165. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1989.
Abstract: Product Nets are nets combined with arc labels and transiton inscriptions. They were developed, as introduced in this paper, for formal specification of cooperating systems. These Product Nets allow to describe all essential aspects of such systems in a formal and unified manner. Product Nets are the principal description means in the PROSIT engineering discipline for cooperating systems --- This paper is an updated English version of ``Burkhardt et al: Produktnetze. GMD-Studie Nr. 129, (1987)''.