Synthesis of communications gateways using the Petri net model

摘要

Because of the proliferation of proprietary network architecturesnand protocols, there is an urgent need for constructing communicationngateways to ensure the interoperability among such networks andnprotocols. Various formal methods have been introduced in the literaturento deal with the derivation of gateways. Most of these methods use thencommunicating finite state machine (CFSM) model to describe thendifferent protocols and services involved in the conversion process.nHowever, CFSMs suffer from the state explosion problem and cannotnexpress concurrent behavior. Therefore most of the available methods donnot scale up to large and concurrent protocols and services. Toneliminate those problems, the authors advocate the use of the Petri netn(PN) model as a specification formalism to be used in the design of thengateway. They present a gateway synthesis approach (which starts fromnthe PN specification of the services and protocols) to reconciliate andnuse some net transformation rules to synthesize the gateway. Annillustrative example is provided