Petri net based controller concept for congnitive radios in wireless access networks