共查询到10条相似文献,搜索用时 31 毫秒
1.
2.
3.
一种工作流模型正确性验证方法 总被引:2,自引:0,他引:2
工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系. 相似文献
4.
为建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,本文采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型. 相似文献
5.
6.
针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果. 相似文献
7.
基于活动的工作流建模及其动态调度研究 总被引:13,自引:1,他引:12
首先用扩展有向图的方法构造一种基于活动的工作流建模方法 .在此模型的基础上 ,通过对完成活动所需的资源、角色、时间、成本的分析 ,用人工智能的思想和方法对所建立的工作流模型进行基于规则的启发式动态调度 ,从而实现对工作流模型的动态仿真 .所提出的模型和算法紧密集成 ,易于实现 .并用一个实例对所提出的建模方法和调度过程进行了说明 . 相似文献
8.
9.
工作流技术和集控Petri网方法是企业过程建模和仿真的支撑技术,将二者巧妙地结合起来,能为实现过程集成提供有效的帮助。当前的大多数工作流管理系统忽视了工作流之间的资源约束关系,基于多Agent的工作流管理系统能够有效地解决这个问题。首先讨论了基于多Agent的工作流管理系统,给出了基于多Agent工作流的企业过程的建模、仿真、使能系统的模型。然后介绍了将基于多Agent的工作流模型转化为集控Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法。 相似文献
10.
为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析. 相似文献