The efficiency of multi-channel MAC protocols depends on the channel assignment mechanism which must coordinate the channel usage in a better way. Several mutichannel MAC approaches have been proposed in the literature. In this paper we propose a formal modelling and analysis of the multi-channel MAC protocols based on the Split Phase (SP) approach using Stochastic Timed Petri Nets (STPN). We analyze the fundamental properties of this approach.
展开▼
