Fuzzy Performance Evaluation of Workflow Stochastic Petri Nets by Means of Block Reduction | IEEE Journals & Magazine | IEEE Xplore