Analysis of Unbounded Petri Net With Lean Reachability Trees | IEEE Journals & Magazine | IEEE Xplore