1989: Informatik, Informationen, Reporte, Nr. 2. Berlin: Akademie der Wissenschaften der DDR, 1989.
Abstract: The approach described in this paper should be comprehended as part of a general workstation of protocal engingeering. The poblems discussed are influenced by some experience collected by Petri net based general verification of any high level language for parallel or distributed processing. This general experience if transferred to the special field of language means for communication protocols.