基于Petri网模型的工作流资源需求分析
主题:   基于Petri网模型的工作流资源需求分析主讲人:   王加存地点:   松江校区2号学院楼218教室时间:   2015-09-22 10:00:00组织单位:   信息学院

      王加存,博士,美国新泽西蒙莫斯大学终身教授。著有<<TimedPetri Nets: Theory and Application>>, Kluwer Academics Publishers,1998,<<Handbook of Finite States Based Models and Applications>>, CRCPress, 2012。发表论文70余篇。国际智能控制与系统学报副主编,国际离散事件系统与控制学报副主编。曾任蒙莫斯大学计算机科学与软件工程系主任,IEEE系统,人与控制学报副主编,IEEE新泽西海岸分部学生工作委员会主席,蒙莫斯大学教授会理事。


      摘要: A workflow describes the flow of activities of abusiness process. Petri nets are a powerful formalism in modeling workflows. Inmany situations, business processes are constrained by scarce resources. Thelack of resources can cause contention and slow down the execution of workflows.This presentation introduces a Petri net based approach for resourcerequirements analysis. The concept of resource-oriented workflow nets (ROWN) isintroduced. Resource requirements for general workflows can be done throughreachability analysis. More efficient algorithms for maximum and minimumresource requirements are developed for a class of well-structured workflows,in which when a task execution is started it is guaranteed to finish. For tasksthat may fail in the middle of execution, an equivalent non-failing task modelin terms of resource consumption is developed.