基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。     

一种集成U—P的工作流建模方法与正确性分析

Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述,可以动态地运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够,缺乏有效、严密的分析工具与方法。本文整合两种建模方法的优点,提出一种集成U．P建模的方法,该方法能够有效地描述系统,实现系统的模块化和模型重用,还能够对系统进行严密的分析,通过对模型仿真,找出其缺,羔和不足。     

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网,逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入／输出受逻辑表达式的约束,它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用,该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例,说明逻辑工作流网在实时协同系统模拟分析中的应用。     

一种结构化的工作流过程建模方法

提出了一种结构化的工作流过程建模方法,并给出了相应的过程建模算法和过程模型分析,从而证明了所提出的方法的有设性。     

流程业务化定制中的工作流建模方法研究

针对流程业务化定制的需求,提出了一套面向业务人员的、直观易用的工作流建模方法.首先定义了一种基于有向图的工作流模型.在该模型的基础上,通过设置建模规则来规范业务人员的建模行为,使得无需模型验证就能够保证所建过程模型的正确性,从而回避了传统的有向图方法在模型分析方面的缺陷.最后将这套建模方法转化为Petri网的形式来描述,并利用Petri网的分析技术证明了该方法的可靠性.     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

工作流系统模型的性能等价分析

讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.     

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

Petri网在商务工作流建模中的应用研究

在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。     

基于Petri网的水产品供应链工作流模型

为了确保水产品供应链工作流的合理性和保证业务流程中物流和信息流的一致性,提出了较完善的基于状态的Petri网建模方法,对水产品供应链业务流程进行模型分析,描述水产品生产加工销售链各上下游企业的业务流程模型,利用petri网设计了水产品管理系统流程模型。结果表明：利用Petri网能够优化设计水产品生产加工各个流程模型,对水产品生产供应链信息流进行有效的管理,为水产品生产加工的质量安全决策提供了重要的依据。     

基于物料清单的制造过程工作流建模

分析了物料清单(BOM)在产品制造过程中的核心地位,提出了将BOM表映射成PETRI网的算法,利用所得到的PETRI网建立了面向制造过程的工作流管理系统的模型。从而允许设计者根据产品的结构而不需要知道实际的过程流程来安排生产任务的自动执行。对于生产作业计划的制订有很好的指导意义。     

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WLnet相关理论,提出有色工作流逻辑网（CWL_net）这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL-net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

一种基于Petri网的工作流模型分解方法

工作流网的模型化简是模型有效分析的前提.在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析.最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析.     

一种基于Petri网的工作流模型分解方法

工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。     

基于数据流和控制流验证的工作流模式进化

模式进化是工作流管理系统的一个主要特点之一．以缺乏正确性分析的工作流模式进化为例，指出进化后的模式会存在着数据流冲突或控制流结构错误，并以Aalst提出的工作流网的建模方法为形式化描述，对工作流管理系统中增加变迁的工作流模式进化进行了分析，提出了无数据流冲突的模式进化算法，及进化时保证控制流结构正确性的进化插入规则，并给出了相关的正确性验证，     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA 规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。     

工作流过程建模中的形式化验证技术

工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作.