Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD No. 284, 26 pp. pages, 1988.
Abstract: Two PrT-nets are equivalent if they denote the same family of elementary net systems. A complete set of equivalence transformations is presented.