A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets | IEEE Conference Publication | IEEE Xplore