A workflow model based on time-extended and hierarchy-extended Petri net | IEEE Conference Publication | IEEE Xplore