An Approach for Workflow Performance Evaluation based on Discrete Stochastic Petri net. - Jiang Hao; Wang Pei-an (ICEBE, 2007)