A workflow model based on fuzzy-timing Petri nets | IEEE Conference Publication | IEEE Xplore