一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

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

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

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

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

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

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

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

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

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

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

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

基于随机Petri网工作流模型的时间性能分析方法

工作流Petri网的时间性能分析方法有多种,本文采用加入时间因素的扩展马尔可夫链,建立与随机Petri网同构的有穷马尔可夫链,再根据此过程的稳定概率求解系统的性能参数。     

一种基于不变量的从工作流网到PERT图的转换方法

 工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.     

基于本体和工作流的网络工程实训管理系统研究

首先分析了当前管理系统开发过程中存在的重复规划问题,然后对管理系统开发所采用的本体和工作流进行了研究。对本体建模常用的IDEF-5方法和工作流建模常用的Petri网方法进行了修改,针对网络工程实训管理系统的实际应用需要进行了本体建模和工作流建模,并在此基础上设计开发了网络工程实训管理系统。该系统开发过程中所建立的本体库在教务管理系统、学生学籍管理系统等的建立过程中具有实用价值。该系统的开发过程对管理系统建立过程中存在的重复规划问题的解决具有参考意义。     

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

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

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

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

工作流建模技术综述

工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约电子商务、企业资源规划等管理系统应用的瓶颈.寻求一些新的方法来解决工作流的建模问题已成为一个具有重要意义的研究课题.介绍了工作流建模技术及其发展现状、存在的问题、最新发展以及展望.     

一种基于RFID数据集的物品工作流挖掘方法

 不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法,其中定义了一种基于Petri网的物品工作流网,讨论了物品工作流网所支持的几种物品工作流模式,给出了基于RFID数据集的数据过滤和聚合算法,以及物品工作流网的挖掘算法,最后进行了必要的实验.