基于Petri网的工作流建模方法

将Ｐｅｔｒｉ网方法引入工作流模型描述,并针对工作流的特点对其进行扩展,提出功能网描述方法。使用功能网可使工作流模型得到方便、快速、合理的构架,同时为工作流模型的仿真研究打下坚实的基础     

基于Agent的工作流模型与应用

ＣＩＭＳ应用集成平台是企业实施ＣＩＭＳ有效支持工具,而ＭＩＳ系统则是整个ＣＩＭＳ集成平台的重要组成部分,主要研究了基于Ａｇｅｎｔ的工作流模型及其在ＭＩＳ系统中的应用,在ＷＦＭＳ参考模型的基础上,提出了一个基于Ａｇｎｅｔ的,易于扩展和移植的,以浏览器作为用户界面的工作流管理系统;ＡＢｓ－ＷＦＭＳ,并介绍了系统的运作方式。基于Ａｇｅｎｔ的工作流管理系统在浙江好来西ＣＩＭＳ系统的开发中作了有益的浓试。     

面向目标的迁移工作流研究

传统的迁移工作流系统为迁移实例编写面向过程的工作流说明并驱动其工作,这种方法限制了迁移实例的灵活性。该文提出面向目标的迁移工作流的概念,定义相应的概念模型,给出基于BDI体系的迁移实例结构,使得迁移实例可以产生令工作流状态向目标转移的信念、愿望、意图和行为。相比传统的工作流方法,该概念模型和迁移机制能够灵活地处理工作流环境中的变化和根据工作流状态进行智能决策,具有目标驱动的特性。     

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

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

迁移工作流系统模型及框架

目前工作流管理系统在应用过程中普遍存在着建模过程很难完整正确描述业务过程和当具体的业务过程发生很小的变化时,工作流流程定义需要相应的改动等情况,针对这种情况,通过对基于移动agent的工作流管理系统的研究基础上,提出了迁移工作流的系统模型及相关概念,并构建了迁移工作流系统框架,通过迁移工作流的相关特性解决上述问题。     

一个基于持续消息的分布式工作流管理模型

提出了一种新的分布式结构,在这个结构中,排除了工作流系统对一个集中式数据库的依赖,而是用持续消息的方法将与过程执行有关的信息存储起来,使过程的执行是完全分布式的,并且每个节点都是各自独立的。采用这种方式能增强对错误的恢复能力以及构造系统的灵活性和扩展性。     

基于Petri网的工作流建模方法

将Ｐｅｔｒｉ网方法引入工作流模型描述，并针对工作流的特点对其进行扩展，提出功能网描述方法，使用功能网可使工作流模型得到方便，快速，合理的构架，同时为工作流模型的仿真研究打下了坚实的基础。     

迁移工作流系统模型及框架

目前工作流管理系统在应用过程中普遍存在着建模过程很难完整正确描述业务过程和当具体的业务过程发生很小的变化时,工作流流程定义需要相应的改动等情况,针对这种情况,通过对基于移动agent的工作流管理系统的研究基础上,提出了迁移工作流的系统模型及相关概念,并构建了迁移工作流系统框架,通过迁移工作流的相关特性解决上述问题.     

一种基于工作流类型版本和实例迁移的动态修改方法

工作流管理系统中一项重要而未解决的问题是工作流模式的动态修改,比如,在保证模式正确的前提下,创建、删除和修改工作流类型。在修改工作流类型时,如果工作流实例是活动的,则这个问题就变得尤其严重,因为任何工作流实例必须符合其工作流类型的定义。本文中提出了一种基于工作流类型版本和工作流实例迁移的动态工作流模式修改方法。     

基于工作流的虚拟企业信息管理模型

现代企业生产环境随着生产的全球化已经跨越 了国界,进行全球范围内的资源优化配置是有效利用全球资源的理想方案, 虚拟企业正是在 此需求下产生的．由于虚拟企业的分布式特点,其信息管理不同于传统的本地的管理方式． 本文给出一个基于工作流的虚拟企业信息管理模型,此模型支持的异构环境是地理上分散的 ,涉及到不同的应用包,多平台、多协议和多种用户界面,为虚拟企业生产信息管理提出了 一种方案．     

基于工作流模型的企业铁路调度指挥与监控系统研究

根据企业专用铁路特点，设计了调度指挥与监控一体化方案。为了协调多个子系统的活动，采用工作流技术构建系统软件平台，实现业务过程的自动化。基于Petri网定义的基本工作流网络为系统业务流程建模，针对建模中存在的问题，提出增加颜色扩展描述信息，增加复合颜色变量扩展，提高工作流网络抽象能力及描述能力，使扩展工作流网络成为复杂系统建模的有力工具。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN     

一种基于改进Petri网的工作流案件分布式处理系统模型

针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。     

基于Petri网的工作流合法性验证综述

对传统的工作流合理性验证方法进行了阐述,并分析了这些方法的优缺点,着重针对国内外学者用Pe-tri网对工作流合理性验证方法进行综述,分析其特点,并指出了工作流的合理性验证的发展方向。     

基于Petri网的工作流模型的分析

通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。     

面向迁移工作流管理系统中工作位置的安全问题研究

迁移工作流为工作流技术提供了一个新的研究方向,同时也给迁移工作流管理系统带来了更多的安全问题。文中重点研究迁移工作流管理系统中工作位置的安全问题,根据这些问题给出了工作位置的安全策略,并根据安全策略提出了一个工作位置的安全模型,并详细介绍了模型中的安全加载、状态监测和访问控制几个方面的关键技术和实现。     

基于本体的迁移工作流服务模型研究

针对迁移工作流服务语义共享的特点,基于本体论,提出一种迁移工作流服务模型。该模型通过工作流元本体为迁移实例和各站点提供统一的工作流服务语义。在此基础上,通过服务本体描述和组织迁移工作流服务,实现服务发现。该模型较好地实现了迁移实例与各站点间的语义共享。     

基于Petri网的OA工作流模型研究

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。