In: Wissenschaftliche Beiträge zur Informatik, Informatik-Zentrum an der TU Dresden, Heft 3, pages 26-35. 1987.
Abstract: Experiences with general verification based on Petri net approach originating from high level languages for concurrent processing are applied to the specification of computer network protocols by language means. A prototype implementation generating Petri nets from a language-oriented protocol specification has been realized. First results in using this generator are presented.