共查询到10条相似文献，搜索用时 15 毫秒
1.
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。 相似文献
2.
为了解决加工装配车间的资源冲突问题,提出了基于面向对象时间约束Petri网的加工装配车间资源可调度性
判定方法。该方法给出了面向对象时间约束Petri网的语义描述和可调度性定义,建立了基于面向对象时间约束Petri网
的加工装配车间的建模方法,提出了基于加工装配车间各资源生产的最早触发开始时间和最晚触发结束时间的车间可
调度性判定依据与判定步骤,并给出了资源不可调度时的改进方法。给出了应用实例,验证了所提出的判定方法的有
效性。 相似文献
3.
工作流技术在业务流程重组、办公管理及资源协调等领域获得了广泛应用,已成为系统建模领域广泛采用的方法.政府电子采购过程中应用工作流技术可有效地对采购流程进行重构和优化,Petri网是一种适合工作流过程建模的理想工具.政府电子采购过程的Petri网模型可以清楚地描述政府网上采购业务流程,解决政府采购过程中各环节之间的并发性、异步性等问题. 相似文献
4.
产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础,而Petri网是一种行之有效的模型描述语言.论述利用Petri网建立面向企业新产品开发过程的工作流模型,并对其进行简化. 相似文献
5.
随着旅游事业的不断发展,旅游业逐渐成为一些地区财政收入的主要来源.利用Petri网工作流建模方法,对旅游管理系统进行建模,并利用Petri网对其进行分析,实现旅游管理自动化的业务过程模型. 相似文献
6.
提出了一种基于时间的工作流模型挖掘方法以提高工作流模型挖掘技术的准确性.运用事件日志挖掘活动的执行时间和活动之间的直接等待关系、相交关系和后继等待时间,建立活动间的边矩阵与并行活动矩阵,找出边之间的关系,从而得到带有时间性能的工作流模型.给出的实例说明了这种方法在提高模型准确率与描述能力等方面的优势. 相似文献
7.
考虑执行任务过程中运行时间和维修时间的约束,提出一种评估k/N(G)机群任务可用度的简便建模方法。构建机群运行过程和时间模型图,分析机群与系统之间运维时间的关系;基于系统任务可用度的解析式,推导出n/N(G)机群任务可用度的解析式;选用解析与仿真相结合的方法,建立机群维修过程的随机Petri网模型,结合n/N(G)机群任务可用度的解析式给出模型参数的计算方法;利用已知参数的仿真模型可得时间约束下k/N(G)机群的任务可用度。通过算例分析揭示机群任务可用度随着运行时限、维修时限的变化趋势,以及与无时间约束下k/N(G)机群可用度的差异。 相似文献
8.
Web服务组合是为了应对日益复杂的业务处理流程,将单一的web服务组合在一起形成一个新的服务。正确的组合web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法．采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。 相似文献
9.
工作流是云计算环境下任务的主要表现形式,工作流任务调度问题是一个典型的NPC问题,进化算法在解决这类问题方面具有明显优势。然而,传统的进化算法容易陷入局部最优,造成早熟结果。提出一种考虑截止时间约束条件下的自适应遗传进化方法,采用适应度修正均值来自适应计算交叉概率、变异概率,引入惩罚函数自适应修正适应度,以避免陷入局部最优。在WorkflowSim仿真环境上,选用具有代表性的Montage科学工作流,与5种算法的对比实验结果表明在4种不同截止时间约束下,所提方法的约束满足程度最高,且能够在贴近用户截止时间约束的执行时间下花费更小的成本。 相似文献
10.
基于Petri网的动态工作流在信用担保系统中的应用研究 总被引：1，自引：0，他引：1
以Petri网为建模工具,考虑在原有静态工作流网基础上,实现对其进行动态定义和动态修改。针对典型的担保业务流程,对担保业务进行基于Petri网的动态工作流建模,并将系统付诸实现。 相似文献