Evaluating cross-layer context exchange in mobile ad-hoc networks with Colored Petri Nets

Context awareness is a key component of next generation pervasive computing systems and networks. Cross layer context exchange can be proposed as an efficient solution for adaptive applications in wireless networks where traditional layered protocol stack is inadequate. ConEx is the context exchange architecture based on subscriptions. ConEx is composed of a vertical context exchange module for cross layer context exchange. We are presenting the Coloured Petri Nets based simulation model and model validation of ConEx cross layer context exchange module in this paper.