一种基于ECA规则的Web Service工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷.给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例.     

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

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

集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于Petri网的工作流引擎研究与实现

本文分析了工作流引擎调度中过程实例和活动实例的状态信息,并以Petri网的建模理论为基础,给出了工作流模型到Petri网的映射算法;以关系数据库和.NET来实现工作流的执行引擎,给出了完整的过程关系E-R模型及其相关数据模型,对引擎中核心调度算法进行了阐述。应用实践表明,引擎的设计思想正确。     

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

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

基于Petri网化简技术的工作流过程模型结构验证

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.     

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

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

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明，该语言不仅能很好地支持全部模式，而且具有建模简洁、准确的特点。同其它建模语言相比，用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

基于Petri网工作流模型的复合事件检测的分析和分解

本文介绍了一种应用Petri网技术对工作流进行建模的方法.该方法将工作流的执行方式从检测事件一触发转变为检测状态一触发,并且采用分层分块的策略对Petri网工作流模型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现.     

结合公共视图和对象Petri网的跨组织流程建模

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合作伙伴相关的活动在外部的投影。通过组合各参与组织的公共视图得到了跨组织协同的信息流网结构,利用对象网的交互集建立了组织内部流程与通信结构的同步关系。通过一个建模实例阐述了该方法的有效性。     

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

基于Petri网的高校创收跟踪审计系统主控模块工作流建模

Petri网通过工作流系统来处理一些大型案例.每个案例有一个唯一的标识,案例在出现和消失之间总是处于某个特定状态,可以充分运用案例的相关属性使用Petri网建立工作流.高校创收项目全程跟踪审计系统就是一个典型的工作流案例,主控模块项目立项、项目实施和项目结算,每个模块内部和模块与模块之间涉及到流程,都需要审批,是工作流的过程.     

基于Petri网模型的工作流实例迁移算法

工作流实例迁移是工作流演化研究中的一个重要问题.目前,大部分的工作流实例迁移策略是基于版本控制的,工作流实例不能及时迁移到新模型中运行.分析了工作流实例迁移过程中所存在的动态变更错误,并结合自由选择网的经典理论,提出了一种基于Petri网模型的工作流实例迁移算法.根据工作流实例迁移后的状态可达性,来确定该实例能否正确迁移,算法的时间复杂度是多项式的.     

工程项目工作流的Petri网表示及模型建立

根据工程项目产品实现过程与工作流组成的相似性,将工程项目的微观工作任务分解为基于工作流管理范畴的一个有机活动的操作序列。引入赋时Petri网和着色Petri网分别对项目活动的工期、项目所需的资源等属性进行描述,建立基于赋时着色Petri网的工程项目工作流模型,并分析资源配置规则和资源调用过程,为项目多活动、多任务间的协同管理打下基础。     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.