WebMUX protocol state analysis with CPN modelling

The WebMUX protocol is an experimental multiplexing protocol. It is a transport sub-layer built on top of existing Internet transport protocols in HTTP-NG (hypertext transport protocol-next generation), which aims to enhance the performance of HTTP and overcome some intrinsic limitations. After describing the mechanisms of the WebMUX protocol, we define the service primitives of WebMUX. Based on the analysis of state transition, this paper provides a coloured Petri net (CPN) model to show how this transport protocol works. The construction of the CPN model and its analysis are given in detail in this paper.