Title :
Concurrent execution of communication protocols in high speed networks
Author :
Rupprecht, Michael ; Engel, Christian
Author_Institution :
Dept. of Comput. Sci. IV, Aachen Univ. of Technol., Germany
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
Keywords :
Petri nets; computer networks; formal specification; multiprocessing systems; protocols; Petri net; communication protocols; formal methods; formal protocol specification; high speed networks; multiple processor system; parallel program; sequential programming languages; software; Access protocols; Formal specifications; Hardware; High-speed networks; Intelligent networks; Media Access Protocol; Petri nets; Process control; Testing; Transport protocols;
Conference_Titel :
Communications, 1992. ICC '92, Conference record, SUPERCOMM/ICC '92, Discovering a New World of Communications., IEEE International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-0599-X
DOI :
10.1109/ICC.1992.268269
