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

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于Petri网的工作流网模型分析与应用问题研究

文章介绍了Petri网和工作流网的基本知识,以及工作流网模型基本结构,并结合公文管理中发文部分工作流应用环境,提出了一个相对完整的基于Petri网的工作流网模型,并对模型的正确性进行了分析。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

Petri网模型在电信结算系统中的应用

由于Petri网模型具有强大的描述离散事件系统的能力,电信综合结算系统采用了基于Petri网的系统模型,作为分析工作流模型的理论基础。讨论了结算系统优化求解模型和工作流Petri网模型。结算系统建立了全局流程管理机制,调度系统统筹管理任务、进程和资源等各方面要素,成功减少了计算机资源消耗,也使结算系统的监控、配置、操纵更加方便和智能。     

基于染色Petri网的工作流引擎实现

工作流引擎是工作流管理系统的核心,主要负责流程定义解析、案例创建、流程过程调度、任务的执行等功能。文章用Petri网进行建模,并利用层次染色Petri网优化工作流模型,安排流程,描述同步事件。在本模型中,使用Token的颜色来控制流程实例对象的调度与运行。整个工作流引擎系统的目的在于通过利用触发对变迁的控制,实现流程之间的简单协同;同时也利用不同流程之间库所的约束规则,实现流程的协同功能。     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

基于Petri网和有限状态机方法构建工作流引擎

首先指出工作流在系统建设中的重要作用,其次介绍了Petri网理论和基于事件驱动的有限状态机实现工作流引擎,并将该引擎应用到科研管理系统的开发中,在原有的业务逻辑与表现层之间加入流程控制层.该引擎的引入较之传统信息系统,更容易适应科研业务流程的改变,方便实现某些重点项目特事特办的要求,同时调配资源更加方便.之后介绍了基于这个引擎之上的系统整体架构和运行环境,以及最终的开发技术.最后介绍了本系统比较有独创性的异构数据同步技术.     

OA系统中的动态工作流模型分析

针对办公业务流程的多变性，研究了工作流技术在OA系统中的应用，对WFMC定义元模型作了适当的扩展，使之能够实现OA系统中工作流的动态管理。提出并建立了该工作流系统的数学模型。     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

工作流主从实例处理方法及其Petri网建模

提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能.为了解决主从实例同步问题,提出了层次染色标记(token)的概念.还指出,这一方法对于描述和分析工作流系统中的并行处理也是很有效的.     

基于扩展Petri网的ECA规则集表示及终止性分析

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN, extended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN网所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响。理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度。     

基于随机Petri网模型的多DSP系统性能分析

多处理器并行处理系统在许多领域都有广泛的应用,然而由于存在系统体系结构、通信带宽和软件并行性等诸多因素的影响,往往会很大程度上制约多处理器系统性能的发挥,因此有效的评估多处理器并行处理系统的性能是系统设计阶段必不可少的任务之一。本文以ADSP14060为核心的多DSP并行处理系统的结构特征,分析了＂主从＂并行结构和＂流水线＂结构的特点;在系统结构分析的基础上,分别建立了基于广义随机Petri网的多DSP并行处理系统模型,并应用该系统模型对＂主从＂结构和＂流水线＂结构的性能进行了全面的评估,找到影响系统性能的各种因素和提高系统性能的办法。     

基于SPN的军用飞机备件供应保障建模

采用随机Petri网(SPN)对军用飞机备件供应保障进行建模;并对建立的模型进行合理性分析,从分析结果可以看出:建立的模型是正确的,能够较好地对军用飞机备件供应保障进行描述。在此建立的模型可扩展性强,能用于该型飞机以及其他机型飞机的备件供应保障研究及更高层次军事系统仿真的组成部分。     

基于随机Petri网的虚拟网可生存性模型研究

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述基于FCFS故障修复策略的RSCN可生存性能。     

基于模糊神经Petri网的武器装备效能评估模型

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型.将模糊逻辑规则应用到专家评判中得到模糊Petri网,建立基于模糊Petri网的武器装备效能评估模型,并在此基础上将人工神经网络引入到模糊Petri中,在模糊Petri模型上,用迭代最速下降法对模型的参数进行学习和训练,经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力.以某型雷达对抗装备为例进行仿真验证,仿真结果表明该模型是可行和有效的.     

基于扩展型工作流网的网格工作流模型研究

基于传统的工作流网不能满足网格动态性的要求,及其无法体现数据流的不足,提出一种可行的扩展型工作流网(EWFN)的网格工作流模型.该模型适应网格动态变化特点和应用处理需求,并且既能表示出控制流,又能表示出数据流.使用实例表明采用该模型的可行性及其优点.     

JBPM工作流引擎在OA中的应用研究

随着Java开源技术的不断进步,以及企业需求的日益增长,在办公自动化领域,特别是对于业务流程的实现,其开发形态已经发生了巨大的变化,传统的硬编码开发业务流程方式已经不再适应高效的开发过程以及企业灵活多变的业务需求。随着工作流技术的不断发展,基于工作流引擎的工作流开发方式从根本上解决了传统开发过程中的各种弊端,各种工作流产品开始广泛应用于实际项目。在软件项目中,通过引入开源工作流产品并对其进行修改和完善,可以提高软件开发周期以及软件产品的灵活性,从而提高软件企业的效率和竞争力。