High level modeling of handoff and channel allocation algorithms for telecommunications mobile systems

In cellular telecommunications systems the transfer of calls (handoff) and the efficient use of channels are essential features to keep in mind during the design of algorithms, in order to provide a continuous service to mobile users. This paper address the modeling and analysis stages of the design process using Petri nets (PN). First a high level description of the algorithms is done using colored Petri nets (CPN), then the equivalent (unfolded) timed PN is analyzed in order to obtain measures of performance. The work focuses on high level modeling; several schemes of handoff and dynamic channel allocation are dealt and their CPN model are presented.