Modelling a Distributed Wireless Channel Allocation Algorithm for Cellular Systems with Mobile Base Stations Using Predicate/Transition Nets

摘要

A Distributed Dynamic Channel Allocation Algorithm with mobile base stations has been proposed in [1]. The protocol is used in situations where base stations are arranged arbitrarily and move with respect to each other. Thus, it is an ad-hoc network protocol. In this paper the algorithm is modelled using high level Petri nets called Predicate/Transition nets. The model allows for any cell and channel configurations, and these configurations may change with time. The resulting Predicate/Transition net makes possible the analysis and verification of the mobile base station system.