Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs | IEEE Journals & Magazine | IEEE Xplore