For the most recent entries see the Petri Nets Newsletter.

Experiences with Petri Net Verifications of Protocols Based on Language-oriented Specifications.

Heiner, M.; König, H.

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.

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

Back to the Petri Nets Bibliography