Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions | IEEE Journals & Magazine | IEEE Xplore