A hierarchical Petri net framework for the representation and analysis of assembly | IEEE Journals & Magazine | IEEE Xplore