A Colored Petri Net Model of Simulation for Performance Evaluation for IEEE 802.22 based Network

TL;DR

This paper presents a Colored Petri Net model for simulating Cognitive Radio networks, aiming to provide an extensible and graphically validated tool for performance evaluation of IEEE 802.22 based systems.

Contribution

It introduces a novel simulation model using Colored Petri Nets for Cognitive Radio networks, enhancing extensibility and validation compared to existing models.

Findings

Model is validated against literature

Simulation facilitates performance evaluation

Supports extensibility and graphical validation

Abstract

Cognitive Radio is a new concept that allows radio devices access to licensed bands since they do not cause harmful interferences to systems that hold the license of use. The main motivation for the increase of research on Cognitive Radio is the scarcity of non-licensed bands due to the large employment of wireless networks on cities. In this paper, we describe a Cognitive Radio Model of Simulation designed through the Colored Petri Net Formalism. This represents an effort to deliver to scientific community a model of simulation that is easily extensible and graphically validated. Through comparison with literature, we have demonstrated that this model is not invalid.