For the most recent entries see the Petri Nets Newsletter.

Product Nets: A Formal Description Technique for Cooperating Systems.

Burkhard, H.-J.; Ochsenschläger, P.; Prinoth, R.

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)''.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography