On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets | IEEE Journals & Magazine | IEEE Xplore