A method for synthesizing a protocol converter with a High Level Petri Net (HLPN) model will be presented in this paper. The services provided by the underlying protocols will first be converted, and then the protocol converter will be derived from the service converter and the specifications of the protocols by Petri net transformation. The advantages of the method will be discussed.
['Z.P. Tao', 'M. Goossens']
Synthesizing communication protocol converter: a model and method