A Petri-Net-Based Automated Distributed Dynamic Channel Assignment for Cellular Network | IEEE Journals & Magazine | IEEE Xplore