Workflow process mining based on Rough Petri Net | IEEE Conference Publication | IEEE Xplore