Fundamental Concepts for Petri Net based Cognitive Radio Evaluation | IEEE Conference Publication | IEEE Xplore