主题:基于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.