Krämer, B.; Schmidt, H.W. "Types and Modules for Net Specifications" In: Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 269-286. Berlin: Springer-Verlag, 1987.

Languages mentioned

• SEGRAS {1985}