|
1.
|
自由选择工作流网的可靠完备化简规则集
|
|
|
|
|
|
|
张曼 段振华 王小兵《软件学报》,2013年第24卷第5期
|
|
|
流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri 网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.
|
|
2.
|
基于petri网系统规约的工作流建模验证
|
|
|
|
|
|
|
杨波涛 乔佩利《现代制造技术与装备》,2006年第23卷第1期
|
|
|
本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。
|
|
3.
|
基于T-图的复杂Petri网约简算法研究
|
|
|
|
|
|
|
李书举 李文敬 罗锦坤 杨文《计算机应用与软件》,2013年第1期
|
|
|
为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。
|
|
4.
|
基于层次时间Petri网的工作流模型可达性分析方法 被引次数：5
|
|
|
|
|
|
|
唐达 刘丹妮《计算机集成制造系统》,2006年第12卷第4期
|
|
|
为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.
|
|
5.
|
基于层次时间Petri网的工作流模型可达性分析方法 被引次数：6
|
|
|
|
|
|
|
唐达 刘丹妮《计算机集成制造系统》,2006年第12卷第4期
|
|
|
为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.
|
|
6.
|
流程业务化定制中的工作流建模方法研究 被引次数：1
|
|
|
|
|
|
|
王超 钟志农 熊伟 左怀玉 李军《计算机研究与发展》,2009年第46卷第Z2期
|
|
|
针对流程业务化定制的需求,提出了一套面向业务人员的、直观易用的工作流建模方法.首先定义了一种基于有向图的工作流模型.在该模型的基础上,通过设置建模规则来规范业务人员的建模行为,使得无需模型验证就能够保证所建过程模型的正确性,从而回避了传统的有向图方法在模型分析方面的缺陷.最后将这套建模方法转化为Petri网的形式来描述,并利用Petri网的分析技术证明了该方法的可靠性.
|
|
7.
|
基于Petri网化简技术的工作流过程模型结构验证 被引次数：2
|
|
|
|
|
|
|
徐晶明 杜宝珠《计算机技术与发展》,2009年第19卷第6期
|
|
|
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.
|
|
8.
|
基于Petri网的应急管理工作流模型 被引次数：2
|
|
|
|
|
|
|
葛丹 郑会颂 姚国章《南京师范大学学报》,2009年第9卷第1期
|
|
|
讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法，引入WF-net建立应急管理信息系统工作流模型，提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例，详细阐述了构建Petri网工作流模型的过程，并利用验证工具对该模型进行了正确合理性分析．
|
|
9.
|
基于时间约束Petri网的工作流动态一致性检验
|
|
|
|
|
|
|
孙智坚 姜浩《微机发展》,2006年第16卷第9期
|
|
|
工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。
|
|
10.
|
基于时间约束Petri网的工作流动态一致性检验
|
|
|
|
|
|
|
孙智坚 姜浩《计算机技术与发展》,2006年第16卷第9期
|
|
|
工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。
|
|
11.
|
集装箱动态跟踪工作流网模型的建立与实现
|
|
|
|
|
|
|
袁红斌 段成华《计算机工程》,2003年第29卷第9期
|
|
|
集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。
|
|
12.
|
时间约束工作流模型的简化分析与可调度性验证 被引次数：4
|
|
|
|
|
|
|
庞辉 方宗德 赵勇《计算机集成制造系统》,2008年第14卷第11期
|
|
|
为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.
|
|
13.
|
时间Petri网等效变换的工作流评价
|
|
|
|
|
|
|
衣晓升 姜浩《计算机工程与设计》,2006年第27卷第20期
|
|
|
时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后引入时间Petri网建立工作流网的时间约束模型.提出了保持网时间约束特性不变的网变换规则和时间性能计算方法,对工作流网进行化简及时间性能计算,并给出了相应的算法.最后通过一个实例说明本方法的应用过程.
|
|
14.
|
基于随机Petri网的信息系统工作流建模
|
|
|
|
|
|
|
苏建元 孙薇 孙蔚 徐敏《计算机仿真》,2007年第24卷第6期
|
|
|
工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.
|
|
15.
|
基于Petri网化简技术的工作流模型正确性研究 被引次数：1
|
|
|
|
|
|
|
张亮 姚淑珍《计算机工程》,2007年第33卷第9期
|
|
|
为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。
|
|
16.
|
基于Petri网的工作流逻辑化简规则的矩阵表示 被引次数：4
|
|
|
|
|
|
|
孟永刚 宋文 叶剑虹《微计算机信息》,2006年第22卷第21期
|
|
|
Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
|
|
17.
|
基于petri网的文件审批系统工作流建模
|
|
|
|
|
|
|
刘继承 张爱茹 李征鸿 张严 任梓健《微型机与应用》,2013年第32卷第2期
|
|
|
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证；同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证.结果证明,该技术能够在文件审批系统中进行建模和可行性验证.
|
|
18.
|
一种基于知识约简的Petri网模型简化方法
|
|
|
|
|
|
|
李孝忠 徐欢《计算机工程与应用》,2008年第44卷第27期
|
|
|
提出一种基于知识约简的Petri网模型简化方法,利用知识约简中的属性约简方法,去除Petri网对应的产生式规则的冗余规则和冗余条件,简化产生式规则得出关键规则。经过知识约简后的规则库转化为Petri网模型,此时的Petri网模型的结点数目减少,因此在一定程度上降低了网系统的复杂程度。简化后的模型保持原有的信息量,而所含的库所、变迁得到了减少,在其基础上进行的知识推理,更加简单和高效。最后通过一个病例实例说明,此方法简单实用,可以有效减少时间和空间复杂度,提高知识搜索和推理效率。
|
|
19.
|
着色Petri网在工作流建模中的应用 被引次数：7
|
|
|
|
|
|
|
徐峻 沈康辰 黄柏林《计算机应用与软件》,2004年第21卷第7期
|
|
|
工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用，然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。
|
|
20.
|
多无人机协同工作流建模与分析
|
|
|
|
|
|
|
徐胜红 曹文静《四川兵工学报》,2016年第1期
|
|
|
多无人机协同执行任务能够提升无人机的作战效能和生存性，而协同方法是协同的基础；描述了基于工作流的多无人机协同方法；通过分析单个无人机工作流执行过程，建立单个无人机工作流，研究了协同工作过程；引入Petri 网理论，使用基本 Petri 网形式化描述协同工作流，构建了多无人机协同工作流 Petri 网模型；针对所建立的协同工作流 Petri 网模型，通过构建和分析相应的可达图，验证了多无人机协同工作流的有效性；结果表明：所建立的多无人机协同工作流是有效的，基于工作流的协同方法是可行的。
|
