Coloured Petri Net modeling and analysis for Community based wireless mesh networks

Wireless mesh networks (WMNs) architecture comprised of mesh routers and mesh clients while their backbone is established through mesh routers which have minimum movements. Coloured Petri Net (CPNs) is a graphical formalism, which is suitable for specification, modeling, analyzing and validating of such systems, where synchronization, communication and concurrency play a major role. This paper presents an abstract level formal model for Community based WMN through CPNs. We aim to provide an easy way to elaborate the behavioral specification for community based WMN system. We further used hierarchical coloured Petri nets for modeling and analyzing our designed structures using CPN tools. We discuss the critical analysis and performance characteristics of the WMN model. Standard behavioral properties e.g. boundedness, home marking and deadlocks analysis as well as statistical analysis are also discussed through state space based method of CPN tools.