Petri net based controller concept for congnitive radios in wireless access networks | IET Conference Publication | IEEE Xplore