基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

工作流动态变化在建模中的应用研究

如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂。针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法。此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证。实例分析证明,此方法可以降低建模的复杂度和验证的工作量。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

期刊网络化运行系统建模与应用

结合期刊网络化运行系统的特点,运用工作流网的基本理论,建立了期刊网络运行系统的模型,对该模型的合理性和正确性进行了验证,通过实例对该模型的具体实现进行了阐述.研究结果为期刊网络化运行系统的合理实现和稳定运行提供了理论依据.     

基于着色Petri网的混合工作流建模及合理性分析

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。     

CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

建筑产品设计过程资源管理的仿真与优化

为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,解决了对建筑产品设计过程资源管理的仿真和优化的关键问题.以某办公楼结构详细设计过程为例,构建基于模糊时间有色工作流网的建筑产品设计过程资源管理模型,利用CPNTools仿真软件进行资源管理仿真分析和优化研究,验证方法的正确性和实效性.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

一种基于多子网与线性目标规划的模糊网络分析法模型

针对经典ANP模型在解决现实复杂评价决策问题中的困难,通过引入"子网"结构,提出了一个多层递阶分解的网络模型,有效降低了建模工作量与复杂度。同时,考虑比较判断的不确定性与多样性,提供了集成多种表达的基于线性目标规划的模糊判断矩阵权向量求解算法。整合多子网与模糊判断,构建了评估流程。以空管体系为例进行能力评估,验证了所提模型算法的有效性。     

基于活动的工作流关键路径算法

计算关键路径是研究工作流时间问题的重要步骤,现有算法大多是基于工作流控制结构的规约与化简的,对工作流模型要求较高,不能计算控制结构的"部分覆盖",限制了其应用.首先给出一个描述活动延迟的工作流模型,然后将工作流网看作一个M/M/1队列网,讨论工作流活动在各种结构中的到达率与时间延迟,提出一种基于活动的关键路径算法.算法降低了对工作流模型结构的要求,解决了控制结构"部分覆盖"的计算问题,提高了算法的实用性.     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于AOE网的工作流程主关键路径的研究

工作流建模是工作流管理系统的重要组成部分,工作流管理系统提供工作流建模工具,绘制流程的活动网络图,形象展示工作流模型。根据活动网络图中的AOE网来展示工作流模型,把对AOE网的关键路径的求解算法应用到工作流的关键路径的求解中来。     

省网企业信息化综合评价指标体系构建与方法研究

本文从综合性、易操作性和可比性等原则出发,构建出了一套较为符合省网企业信息化建设与发展实际的综合评价指标体系。在此基础上,利用表现度函数对定性指标和定量指标进行了预处理,从而使得预处理后的结果能更加符合客观实际情况的需要,进而再采用了模糊一致判断矩阵来计算指标的权重,它可以较为妥善地解决判断矩阵的一致性问题。最后从模式识别的观点出发,提出了省网企业信息化综合评价方法,并用示例加以了验证,验证结果表明了该方法的有效性。     

工作流网合成规则及其在流程设计中的应用

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则．     

基于Petri网的贷款业务流程优化分析

业务流程优化分析在业务流程管理中扮演着重要的角色。基于Petri网对银行贷款业务进行建模分析,提出基于Petri网的贷款业务优化分析方案。首先从贷款业务流程的决策角度分析工作流网与数据流模型Petri网(DDP-nets)对建模的影响,结合两者优势提出数据决策Petri网模型的定义。然后通过建立贷款业务流程的数据决策Petri网模型,分析模型的合理性。其次利用两种方式对决策模型的决策变迁映射集(∑部分)完成实现。最后从普适性、模拟能力、简洁性角度与原模型分析对比,得出优化模型的优越性。