Return to Article Details Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables Download Download PDF