Towards BRS based model for Wireless Mesh Networks

Despite the agreement on the Wireless Mesh Networks impact as a flexible way to provide Internet connections with low cost, they still suffer from some limits that degrade their performance, resulting from their Wireless/multihop nature. Using multiple paths principale and an appropriate Channels Assignment process may confront one of the most encountered problems in wireless communication field, known as interference. In this article, we´ll focus on this limit using formal methods. To do so, we opt for Bigraphical Reactive Systems with nodes sharing (BRS with sharing) as a basic formalism to specify the WMN topology on one hand, and the rational channels assignment process (AC) in the multi-interfaces/multi-channels environment, on the other hand.