Display of Learned SIP model

We have generated a model of the SIP server module as implemented in the protocol simulator ns-2. In the enclosed picture, the model is shown with all transitions and corresponding messages. The figure shows only the parameters mf messages that do not have a constant value, i.e., method type and session parameters in the input messages, and status code, session, cseq and via parameters in the output parameters. In the model in the pdf file some transitions are unfortunately overlapping each other, but it is hard to avoid this.

The model is in the file sip-model.pdf