Concurrent execution of communication protocols in high speed networks

Abstract

A method based on a higher Petri net is introduced for implementing highspeed protocols. It provides a very efficient implementation on a multiple processor system as well as formal methods for analyzing and improving the software. A formal protocol specification technique has been modified and is presented. It leads to a simple extension of conventional sequential programming languages and two new methods of optimizing the granularity of the parallel program.<>