Title :
VLSI implementation of controllers for communication protocols from their Petri net models
Author :
Khan, Asjad M T ; Sait, Sadiq M. ; Beckhoff, Gerhard F.
Author_Institution :
King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
Abstract :
Petri nets are popular in the communication protocol community for modelling and analysis purposes. This paper gives a procedure for extraction and implementation of controllers of protocols from their Petri net model. It adds another dimension to the use of Petri nets and is suited for network, transport and data link protocols
Keywords :
Petri nets; VLSI; controllers; protocols; Petri net models; VLSI implementation; communication protocols; controllers; data link protocols; network protocols; transport protocols; Circuit synthesis; Communication system control; Control system synthesis; DH-HEMTs; Hardware; Minerals; Petri nets; Petroleum; Transport protocols; Very large scale integration;
Conference_Titel :
VLSI, 1992., Proceedings of the Second Great Lakes Symposium on
Conference_Location :
Kalamazoo, MI
Print_ISBN :
0-8186-2610-0
DOI :
10.1109/GLSV.1992.218356
