Modeling Click-to-Dial Service with Petri Nets

A new method combining the protocol conversion methodology and the Petri nets theory is proposed to study application layer protocol conversion. According to the procedure proposed by the protocol conversion methodology, the Click-To-Dial (CTD) service in the Internet Intelligent Network (IIN) model is analyzed. From the modeling experiences of CTD service with Petri nets, universal coupling criteria of Petri nets model of protocol conversion are abstracted, which enrich the protocol conversion methodology. Protocol conversion model of CTD service is analyzed with analysis techniques of Petri nets and its errors are checked and corrected. A Service Control Gateway Function (SCGF) and CTD service have been developed under the guide of this new method, which is proved viable and applicable.