NewYAWL一种基于着色Petri网的工作流语言及其演进
petri网入门
petri网入门最近需要学习一个大系统，其中涉及到了petri网的知识，发现这东西非常好用，在这分享给大家吧！了解一些，总会用得上的:)文章引自：学习空间===========================Petri网是对离散并行系统的数学表示。
Petri网是1960年代由C.A.佩特里发明的，适合于描述异步的、并发的计算机系统模型。
Petri网既有严格的数学表述方式，也有直观的图形表达方式。
由于Petri网能表达并发的事件，被认为是自动化理论的一种。
研究领域趋向认为Petri网是所有流程定义语言之母。
经典的Petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。
petri网图Petri网的元素：•库所（Place）圆形节点•变迁（Transition）方形节点•有向弧（Connection）是库所和变迁之间的有向弧•令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。
Petri网的规则是：•有向弧是有方向的•两个库所或变迁之间不允许有弧•库所可以拥有任意数量的令牌行为如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。
一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。
注意：•变迁的发生是原子的；•有两个变迁都被允许的可能，但是一次只能发生一个变迁；•如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化；•Petri网络是静态的；•Petri网的状态由令牌在库所的分布决定。
两个变迁争夺一个令牌的情形被称之为冲突多个弧连接两个节点的情况。
在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。
弧的个数决定了消耗/产生的令牌的个数。
中俄多领域合作背景下机器翻译与人工翻译的发展与应用
1192022年5月上 第09期 总第381期学术研究China Science & Technology Overview0. 引言自中俄两国领导人将两国关系提升为“新时代中俄全面战略协作伙伴关系”以来，在经贸、能源、航空航天、创新科技等多领域合作持续发力，互利共赢。
随着国内产业的快速发展，对俄合作日益深入，国内与国外技术人员接触也与日俱增。
在这种形势下，翻译人员承担着艰巨的任务，也发挥着越来越重要的作用，但培养一名优秀的翻译人才往往需要时间和经历的磨练，所以机器翻译与人工翻译的发展也将迎来的新的机遇与挑战。
1. 翻译的发展进程在翻译发展的历史长河中，翻译一直是以一种言语转换、文字转码，在非固定的语境中做出抉择的艺术而存在。
翻译的艺术体现在脑力活动中，它不仅仅需要专业技能，还需要创造力，还有对社会的适应能力、以及心理素质。
20世纪时，翻译已经转变为一种大众化的职业。
翻译的艺术再也不是口口相传，而是变得更加系统化。
人们对翻译行为有了更加科学的理解。
在现代翻译科学发展的瓶颈期，法国语言学家乔治•穆南提出：“翻译活动的成就是相对的，它所达到的交流思想水平是变化发展的[1]。
”翻译活动虽然存在一定的限度，但是随着人类对这个世界认知的不断完善，其限度也是不断发展变化的。
21世纪对我们提出了全新的挑战。
这些挑战使我们不禁思考，一系列涉及人类生活各方面的职业在未来的发展方向。
以经济预测准确而闻名的世界经济论坛创始人兼执行主席克劳斯·施瓦布提出了第四次工业革命的概念：“我们正处于一场技术革命的边缘。
它将彻底改变我们的生活、工作，以及人际交往方式。
这种转变的规模和复杂程度将和之前完全不同。
我们尚不明确它会如何发展，但很清楚这次技术革命将带来全方位的反应。
它将影响到国际社会所有相关方面，从国家部门、私营经济到学术界及大众社会。
翻译的发展史证明了这种变革与技术发展的记录、重现、储存、信息传输都有直接联系。
YAWL(Yet Another Workflow Language)
4 YAWL：Yet Another Workflow Language定义3：是一个扩展工作流网。
，。
此外，辅助函数，是用来定义每个节点各自分配的预设和后置。
对任何节点，均满足：和。
注意：预设和后置函数和依赖于上下文，例如：扩展工作流网中的函数的使用性。
如果一个节点在多个网中使用，就会不清楚这个节点的预设和后置函数是和哪个网相关的。
因此，我们当有歧异产生的时候我们增加对这个网中的节点的预设和后置的注释：表示网N中节点x的预设，表示在网N中节点x的后置。
定义 4. 每当我们介绍一个工作流规范，我们假设按照下面的方式定义：表示一系列的原子任务。
表示一系列的符合任务。
表示一系列的单实例任务。
表示一系列（潜在的）多实例任务，和是所有条件的扩展集。
如果表示不明确，我们将会使用下标，如：。
如果在上下文中只有一个工作流规范，我们将省略下标。
此外，域函数在不同的中没有重叠的部分，我们也可以省略下标。
一个工作流规范定义了一个树形结构，为了有效的使用这种结构，我们定义了函数，给出一系列的节点（如任务和条件），函数将会返回这些节点和所有的孩子节点。
定义5：是一个工作流规范，定义函数：，如下，对：注意：返回在X中的每个节点和被这些节点包含的节点。
对于原子任务和条件，不需要展开。
对于复合任务，被这些任务包含的所有节点都包含在结果中，如递归的横穿在X中的所有复合任务。
图六给出了一个工作流规范的例子来解释注意。
是一系列的原子任务，是复合任务。
和。
如D是唯一的含有多实例的任务（潜在的）。
除了输入和输出条件，只有两个明确的条件。
在集中所有的其他的条件都是含蓄的，如是一个含蓄的条件，它和连接A和B之间的弧相对应。
如，如果D是展开的，那么D所包含的所有的任务和条件（包括含蓄的）都会被添加进来。
4.2 Semantics定义2从数学的角度定义了工作流规范的语法。
在这个定义的基础上，可以直接的给出一个工作流语言，如和XML相关的语言。
Petri网详细介绍与学习
模型改进
针对传统Petri网的不足，研究者们不断尝试对其进行改 进和优化，以提高其适用性和性能。例如，通过引入新 的元素或规则，改进Petri网的表达能力；优化Petri网的 推理算法，提高其推理速度等。
有界性、安全性与死锁
01
03
有界性
Petri网中的每个库所至多 包含有限个标记，且每个 变迁最多可以消耗和产生 有限个标记。
安全性
Petri网中不存在死锁状态 ，即对于任意一个状态， 总存在一个后继状态。
死锁
当Petri网中存在一个状态 ，从该状态无法通过任何 变迁到达其他状态时，称 该状态为死锁状态。
Petri网与其他建模方法的融合
融合方法
为了更好地描述和分析复杂系统，研究者们尝试将 Petri网与其他建模方法进行融合。例如，将Petri网与 流程图、状态图等图形化建模方法相结合，可以更直 观地描述系统的结构和行为。
融合优势
通过融合不同的建模方法，可以取长补短，提高对复 杂系统的描述和分析能力。同时，这种融合也有助于 推动不同领域之间的交叉和融合，促进多学科研究的 开展。
实例分析学习
案例分析
分析不同类型Petri网的特点和适用场景，如同步Petri 网、时间Petri网和有色Petri网等。
通过学习经典的Petri网实例，深入理解Petri网的实际 应用和建模技巧。
对比不同Petri网实例的建模效果，提高对Petri网的实 际操作能力和应用水平。
实践应用学习
工作流引擎核心调度算法与PetriNet
PN 的算法描述本身是很简单的：任何一次 Token 的转移，都会引起对整个流程（在 PN 中叫 Case）的重新使能（enabled）遍历。—— 就像“蝴蝶效应”。
如果上面这句 PN 算法的描述，您并不是很清楚，那么建议你暂停往下阅读。先去查阅一 下有关 PN 的资料，看看先。
接下来，就让我们看看这些开源引擎的核心调度算法。—— 呵呵，没办法了，我只能拿 开源的咚咚来跟大家说说了。这样一不涉及保密，二不涉及泄密。
注：严重 bs 那些修改或一心想着修改开源引擎代码的家伙。
先说说四个非 PetriNet 调度算法的开源引擎
主要说几个大家都比较熟悉的：OBE，Shark，OSWorkflow，jBpm。分析一下他们的调度 算法，就基本上可以知道其能力有多强。
OBE 的引擎调度机制..........................................................................................................4 Shark 的引擎调度机制 ........................................................................................................5 OSWorkflow 的引擎执行机制 ............................................................................................6 JBpm 的引擎执行机制 ........................................................................................................6 再说说两个 PetriNet 调度算法的开源引擎 ...............................................................................9 YAWL 的引擎调度机制 ....................................................................................................10 Bossa 的引擎调度机制（标准的 PN 机） .......................................................................12 结尾 ............................................................................................................................................15
随机着色Petri网在图书馆文献检索系统中的应用
成为 现在 图书馆 信息 系统建设 中的一 个重 要课 题 。 本文将数 据挖掘 和知识发现技术 应用 于图书馆信息 管理 系统 的检 索系 统 中 ，引入 随机 着 色 Ｐｔ ｅ ｄ网技 术 ，对 图书馆文献检 索系统重新建 模 ，实 现系统 的 动态模拟 ；对 图书馆各种 新型文献 资源 的检 索方式 进 行整合 ，提出 了一种基 于智能搜 索引擎及 读者历 史 借阅行 为分析 的客观评价方法。１ ［］ 。
统 一 的 界 面 ，方 便 、快 捷 、准 确 地 检 索 到 图 书 馆 的
功能而难以实现。因此 ，在描述 复杂系统时一般 多采 用 经 过扩展 的高级 Ｐｔ 网 ，如 随机 Ｐｔ ｅｉ ｒ ｅ ｉ网 （Ｐ 。 ｒ Ｓ Ｎ
Ｓｏ ｈｓ ｃ ｅｒｎｔ 、 着 色 Ｐ ｔ 网 （ Ｐ Ｃ ｌｒｄＰ ｔ ｔ ａｔ ｔ ｅ ） ｃ ｉＰ ｉ ｅｉ ｒ Ｃ Ｎ。 ｏ ｅ ｅｒ ｏ ｉ
统 以及 分布式 的实 时建模等方 面都起着越 来越重 要
的 作 用 。［ ３ ］ 但 是 ，用 基 本 Ｐｔ ｅ ｉ网对 复 杂 系 统 进 行 建 模 与分 ｒ 析 ，往 往 因为 状 态空 间 庞 大 、复 杂 以及 缺 少 时 间表 示
型数 字文献资 源 ，读 者常常感 到无 所适从 ，不知道 怎样 才能找到 自己需 要 的信息 ，他们希望 能够通 过
非 ，准确 人类 的一 个基 本 原则 ，这 个基 本 原 则 也 适用
华 书局 ，１６ ． ９５
［３上海 图书馆． 中国丛 书综录 ［ ］ ２ ｚ ．上海：上海古
籍 出版社 出版 。１８． ９２
［ 中国古籍善本书 目 编辑委员会． 中国古籍善本 ３ ］《 》
8.4.1 Petri网基本知识简介
8.4.1 Petri网基本知识简介Petri网库所 place 变迁 transistionPetri网由两类元素组成：库所（place）和变迁（transistion），前者表示状态，后者反映状态的变化。
变迁的作用是改变系统的状态，库所的作用则是决定变化能否发生。
两者的这种相互依赖关系用有向弧（流关系）表示。
网是系统的静态结构。
图8-22给出了一个Petri网和网系统的例子。
图中用圆圈表示库所，用短横表示变迁（也有用方框表示的）。
库所中的黑点称为托肯（token），用以表示某类资源，反映了系统的局部状态，托肯在库所中的分布，给出了各状态元素的初态，称为初始标识（initial marking），反映出系统初始情况下的全局状态。
如果库所中的托肯数不多于一个，与布尔型变量类似的库所只有两种状态：有托肯（成真）和无托肯（成假）。
我们把这样的网系统称为条件（condition）/事件（event）系统，简称C/E系统。
当网系统中的托肯在网中流动时，就反映了网的动态行为。
托肯是沿有向弧指示的方向流动的。
图8-22中，对于变迁e3来说，从库所b1有一条指向它的有向弧，用（b1，e3）表示，称为输入弧；同时还有另外两条输出弧，用（e3，b3）、（e3，b4）表示。
网论中将b1称为e3的输入库所，b3、b4称为它的输出库所，由输入库所组成的集合叫输入库所集，又称为前集，记为*e3={b1}；由输出库所组成的集合叫做输出库所集，又称后集，记为e3*={b3，b4}。
同理，对于库所b1，它的输入变迁集（前集）为*b1={e2}，输出变迁集（后集）为b1*={e1，e3}。
一个变迁，如果它的每一个输入库所都包含至少一个托肯时，则这个变迁有发生权，当这个变迁发生时，将导致在其每个输入库所中减少一个托肯，而在每个输出库所中增加一个托肯。
图8-22中，变迁e3的发生将“消耗”b1中的一个资源，同时产生b3类和b4类各一个资源，这就是变迁规则。
基于着色Petri网工作流模型概述
1.着色Petri网的定义(Colored Petri NetCPN)CPN可以表示成九元组形式,即CPN=（∑,P,T,A,N,C,G,E,I）中，∑：为颜色（Color）的非空有限集合,称作颜色集（Color set）；P：为描述系统库所（Place）的有限集合；T：为变迁（Transition）的有限集合；A：为弧（Arc）的有限集合，满足；P∩T=P∩A=A∩T=覫N：A→（P×T∪T×P）为节点（Node）有限集函数;C:（P∪T）→∑ss,是着色函数（colorfunction），其中∑ss是∑的有限子集；G：T→表达式，是T的警卫函数（guard function），且满足：坌t∈T：[Type（G（a））=Bool∧Type（Var（G（t）））哿∑]，Bool={true,false}；E：A→表达式，是弧表达式函数（arcexpression functions），且满足坌a∈At：[Type（E（a））=C（p（a））MS∧Type（Var（E（a）））哿∑]；I：为P→表达式的初始标识，且满足坌p∈P：[Type（I（p））=C（p）MS∧Var（I基于着色Petri网工作流模型概述文/赵九闻刘东荣杨雷摘要：着色Petri网(Colored Petri NetCPN)是具有层次性的高级Petri网，它扩展了普通Petri网的特性。
着色Petri网的着色主要针对token和库所而言。
通过对token着色，从而在用着色Petri网建立的模型中表现出不同的资源，使得库所和变迁的数量都大为减少，图形更加简约。
本文通过对CPN定义的介绍，系统地阐述了基于着色Petri网工作流模型的特点。
关键词：工作流；模型；着色Petri网本1500万元，总资产3.1亿元，年销售额近20亿元，是内蒙地区金属材料流通行业龙头企业，是盘新、邯钢、承钢、石钢等大型钢厂在内蒙地区的一级代理商。
基于赋时有色Petri网的Web组合服务建模
ＢＥ Ｐ Ｌ做 了很多研究工作＿ 。由于存在并 发 、 】 ］ 补偿 处理 、 死路 径删除等复杂特征［ ， Ｐ Ｌ流程 容易 出错 。另外 ， Ｐ Ｌ流 ２ＢＥ ］ ＢＥ 程中可以通过调用 的方 式使用 Ｗｅ ｂ服务 的一些有 价值 的资
Ｗ ＡＮＧ － ｉ ｇ ’ Ｙｕ ｙ ｎ 。 ＣＨＥＮ ｉ ｇ Ｐｎ
（ ｏ ｔ ｒ ｇｎｅｒｎ ｎ ｔ ｕ ｅ ＸｉｉｎＵｎｉｅｓｔ Ｘｉａ １ ０ １， ｉａ Ｓ ｆｗａ ｅＥｎ ｉ ｅ ｉｇ Ｉｓｉ ｔ ， ｄａ ｔ ｖ ｒｉｙ， ’ ｎ ７ ０ ７ Ｃｈｎ ） （ ｃ ｏ ｌｏ ｃｅ ｃ ， ’ ｎ Ｔｅ ｈ ｏｏ ｎｄＡｒｈｉｅｔ ｅＵ ｎｖ ｒ ｉ Ｘｉａ １ ０ ５， ｉ ） Ｓ ｈ ｏ ｆＳ ｉｎ ｅ Ｘｉａ ｃ ｎ ｌｇｙａ ｃ ｔｃｕｒ ｉｅｓｔ ｙ， ’ｎ ７ ０ ５ Ｃｈｎａ
关 键 词 组合 服 务 ， Ｐ Ｌ 模 型 ， 程 验 证 ＢＥ ， 流
中 图 法 分类 号
ＴＰ １ ３ｌ
文 献标 识 码
Ａ
Ｍ ｏ ｌ ｆＷ ｅ ｒ ｉｅ ｍ ｐ ｓｔｏ ｓ ｄ ｏｌＴｉ ｄ ｌ ｒ Ｐｅｒ ｔ ｄｅｓ ｏ ｂ Ｓｅ ｖ ｃ ｓ Ｃｏ ｏ ｉｉ ｎ Ｂａ ｅ ｌ ｍｅ Ｃｏ ｏ ｔ ｉＮｅ ｓ
摘 要 面 向 Ｗｅ ｂ服 务 的 业 务 流 程执 行 语 言 Ｂ Ｅ Ｐ Ｌ本 身缺 乏 健 壮 的 语 义 ， 建 Ｗ ｅ 合 服 务 又 是 一 种 易 于 出错 的 构 ｂ组
任务。基 于有色赋 时 Ｐ ｔｉ 提 出 了从 Ｂ Ｅ ｅｒ 网， Ｐ Ｌ描述的 Ｗｅ 组合服务流程到有 色赋时 Ｐ ｔｉ ｂ ｅｒ网模 型的转换 方法。在 转 换过程 中考虑 了 Ｂ Ｅ Ｐ Ｌ活动 的执行 方式和执行环境 ， 时间、 如 环境属性等 ， 出了更为精确的模型 ， 给 为更好地使 用工具 和现有方法验证 和测试 Ｗｅ ｂ组合服务 奠定 了基础 。并给 出了这种转换方法的应 用实例 。
基于着色Petri网的工作流模型研究与应用
（ ｃ ｏ ｌｏ ｍｐ ｔ ｒａ ｄＩ ｆ ｒ ａｉｎ，Ｈ ｅｅ ｉｅ ｓｔ ｆＴｅ ｈ ｏｏ ｙ，Ｈｅｅ ３ ０ ９，Ｃｈｉ ） Ｓ ｈ ｏ ｆＣｏ ｕ ｅ ｎ ｎ ｏｍ ｔ ｏ ｆｉＵｎｖ ｒｉｙｏ ｃ ｎ ｌｇ ｆｉ ０ ０ ２ ｎａ
ｉｔｏ ｕ ｅ ，ａ ｄ ｔ ｅ ｈ ｅ ｔ Ｔｒｎ ｉｉｎ Ｌ ｓ ｅｈ ｄ，ａ ｍｅ ｈ ｄ ｏ ｎ ｌｚｎ ｈ ｏ ｒ ｃｎ ｓ ｆ ｎ ｒ ｄ ｃ ｄ ｎ ｈ ｎ ｔ ｅ Ｇｒａ ａ ｓｔｏ ｉｔｍ ｔ ｏ ｔ ｏ ｆａ ａｙ ｉｇ ｔ ｅ ｃ ｒｅ ｔ ｅ ｓ ｏ
第３ ３卷 第 ２期
２１ ０ ０年 ２月
合肥 工业 大 学 学报 （ 自然科学版）
Ｊ ＯＵＲＮＡＬ ＨＥＦＥ ＯＦ ＩＵＮＩ ＶＥＲＳ ＴＹ ＣＨＮＯＬ Ｉ ＯＦ ＴＥ ＯＧＹ
Ｖｏ ． ３ Ｎｏ ２ １３ ．
Ｆ ｂ ０ ０ ｅ ．２ １
基 于着 色 Ｐ ｔｉ 的工 作 流模 型研 究 与应 用 ｅｒ 网
已经 不能满 足企 业 的需 要 ， 人们 迫 切 需要 开 发 出
务 过程 全部 或 部 分 地 用计 算 机 自动 执行 。② 工 作 流管 理系统 是 一个 完 全 定 义 、 理 和执 行工 作 管 流 的 系统 ， 它通 过 计算 机 表 示 的 工作 流 逻 辑来 驱 动 软件 的有序 执行 。
Ａｂｔ ｃ ： ｏ ｅ ｎ ｏ ｅ ｏ ｎ ｎ ｆ ｈ ｓ ｏ ｔｎ ｓａｃ ｅｄ ｒ ｆ ｗ ｃ ｎ ｌｇ ． ｓ ａｔＭ ｄ ｌ ｇｉ ａｃｒ ｂａ ｄｏ ｅｏ ｅｍｏ ｔｍｐ ｒａ ｔ ｅｅ ｒｈｆ ｌｓｉ ｗｏｋ ｌ ｔ ｈ ｏｏ ｙ ｒ ｉ ｓ ｊ ｔ ｉ ｒ ｉ ｎ ｏ ｅ
基于着色Petri网工作流模型概述
与特 定 的颜 色集 绑 定 ．表 示 该 库 所 中 只 从 它哪 一 个 面 的垂 直 方 向上 看 ．都 能够 资 源 等 。 于 每 个 需 要 参 与者 执 行 才 能 对 能存 放 相 应 颜 色 的 ｔ ｅ ， 弧 上和 变 迁 看 到 一 个 完 整 的 三 角 形 ．都 能 反 映 出 工 够 完 成 的任 务 ， 作 流 模 型 中都 要 给 出 ｏ ｎ在 ｋ 工 上存 在 着 条件 表 式 和 函数 。说 明弧 的权 作 流 模 型 的 一 个 个 角度 。 下 面 我 们 将 从 引 用 定 义 ，仅 从 资 源 引 用 角 度 考 察 ， 工
３基 于 ＣＰ 的 工作 流 模 型 ． Ｎ
务 的 四种 执 行 路 由 能够 表 达 复杂 的业 务 考 察 对 象 从 工 作 流 实例 执 行 中 对 外 仅
流程 ， 因此 ， 过程角度 考察． 从 我们 可 以 部 应 用 调 用 角 度 未 考 察 ． 作 流 模 型 是 工
一
图 一 工 作 流 工 程 定 义 的 四 个 角 度
角度看 工作 流模 型是 指仅 考察 在每 个 任 务 的参 与者 的引用定义． 屏蔽掉其 而
他 的 考察 对 象 。 与 者 指 的是 能够 执 行 参 任 务 的组 织 单 元 ， 力 资 源 ， 色 ， 器 人 角 机
统 中 不 同 类型 的资 源 ．同时 每 个 库 所 都
应 用 调 用 角 度 （ ｈ Ｉｖｋ ｄ Ａ — Ｔ ｅ ｎ ｏｅ ｐ
的 建模 语 言 。 由于 ｔｋｎ的引 入使 得 模 路 由 ， 序 路 由， 环 路 由， 择 路 由。 任 ｐｉａｏ ｓＰ ｒ ｅｔ ｅ ： 果 屏 蔽 掉 其 它 但 ｏｅ 顺 循 选 ｌ ｔ ｎ ｅｓ ｃｉ ）如 ｃｉ ｐ ｖ 型 的 可读 性 降低 。
基于着色Petri网的工作流模式研究
文 章 编 号 ：１７ — ８ １（０ ８ Ｏ — ４ ６０ ６ ３ ３５ ２ ０ ） ４０ ４ — ４
基 于 着 色 Ｐ ｔｉ 的 工 作 流 模 式 研 究 ｅｒ 网
翁 向军 ， 华 雄 。黄 理 灿 张
（ 江 理 工 大 学信 息 电子 学 院 ， 州 ３０ １ ） 浙 杭 １０ ８
１ 工 作 流 模 式 分 析
业务 流程 的复 杂程 度在 不断 提高 ， 户 需 求 总 是 有 很 多 变数 ， 客 因此 业 务流 程 建 模 的复 杂 程 度也 随之 提
高 。用 于流程 建模 的工 作 流模式 必须 考 虑更 多新 的情 况 。从 控 制 流视 角 这 方 面来 考 虑 ， 有许 多额 外 的 因素
０ 引 言
随着 工作 流技 术应 用 的普及 ， 越来 越 多 的专 家学 者 和商 业 公 司加 入 到 工作 流 技 术 的研 究 行 列 中来 。在 工 作流 这一框 架下 ， 比较基 本 的 、 主要 的研究 内容 包 括 ： 工作 流管 理 系统体 系结 构 的研究 ， 作流模 型 与工作 工 流 定义语 言 ， 工作 流 的事务 特性 ， 作 流 的实 现 技 术 ， 作 流 的仿 真 与 分 析 方 法 ， 作 流 的集 成 与互 操 作技 工 工 工 术 ， 作流与 经 营过程 重组 等等 ＿ 。 工 １ ］ 工 作流 模式 的研 究现 已成 为 国外 工 作 流 理 论 研 究 领 域 的 热 点 。其 中 以荷 兰 学 者 Ａａ ｔ 成 果 比较 突 ｌ 的 ｓ 出 ， 文献 ［ ］ ， 比较不 同工 作 流建模 语 言在 控 制流方 面 的表 达能 力 和适用 性 ， 在 ２中 为 通过抽 象 多个组 织 中的实
递归模式递归模式是指流程执行到某一个活动的时候由于该活动能够调用与父流程相似的子流程出现递归调用的情形只有等子流程全部执行完毕的时候父图非循环同步模式的着色网实现图交叉路由模式流程图固实现了只有图交叉路由模式的着色网实现图结构化汇聚模式的着色网实现万方数据第期翁向军等基于着色网的工作流模式研究流程才由该活动处重新开始继续执行剩余的活动
基于Petri网的建模技术ppt课件
8
Petri网建模的缺点： • Petri网的优点实际上是在模型构成上增加了模型的组成
元素，因此往往导致组成模型的元素数量过多； • Petri网不如基于活动网络容易理解； • Petri网的建模中不能在网中体现数据流，尽管基于状态
建模的Petri网能够精确、方便地对过程的控制逻辑进行 定义，在这种情况下，数据流就与控制流完全混合，当两 者不一样的时候， Petri网就无法显式地表示这种独立于 控制流之外的控制流；
0
D=0 D=0
finish
ready
38
包含时间属性的交通灯
0
red1
0
30
safe
0
0
yr1
0
red2
30
yr2
rg1
yellow1
5
25
gy1
green1
yellow2
5
gy2
rg2
25
green2
39
层次的扩展
• 对复杂的Petri网添加 结构信息的方法，与 DFD类似
• 一个子网是对库所，转
read_mail
send_mail
Hale Waihona Puke ready• 画出可达图 • 多少个可达状态? • 有无死状态? • 两个作者和三个读者的情况是怎样的?
32
agenda
➢ 1 Petri Net概述 ➢ 2. 经典Petri Net ➢ 3. 高阶Petri网 ➢ 4. 一个Petri网建模实例 ➢ 5.小结
12
Petri网的规则
• 连接是有方向的，其上可以标出权重 • 两个库所或转移之间不允许有边，且不应该有孤
基于着色时间Petri网的装备维修资源确定方法
・
ｌ２・ ３
舰
船
科
学
技
术
第３ ３卷
Ｐ ｔ 网建立 装 备维 修 的 Ｐ ｔ 网模 型 ， ｅｉ ｒ ｅｉ ｒ 对装 备 维修 资
源 的确定 方法进 行 了研究和 探讨 。
维修 资源 ， 然后综 合起 来 构 成零 部 件 的维 修 资 源 ， 最 后再 将各零 部件 的维修 资源进 行综合 ， 组成整 个系统 的维 修资源 。 从 上面 可 以看 出 ， 零部 件维修 资源 的确定 过程既 有各 项基本 维修作业 之 问的时序关 系 ， 又有维 修资源 的种类 关系 ， 因此 完 全 可 以采 用 着 色 时 间 Ｐ ｔ 网来 ｅｒ ｉ
的状态 作为 Ｐ ｔ 网 中的 位置 ； 时可 以将 各维 修 资 ｅｒ ｉ 同 源 的数 量作 为 由位 置 到变 迁 或者 是 由变 迁 到 位置 的
权 值 ， 制着 色时 间 Ｐ ｔ 网络 图 ； 绘 ｅｉ ｒ 然后利 用式 （ ） 以 ３ ， 维修 资源 的需 求 最 小 为 原 则 ， 出零 部 件 的维 修 资 求 源； 最后 将各零 部件 的维修 资 源 进行 综 合 ， 可 以得 就 到整个 系统 的维修资 源 。 归 纳起 来 ， 用着 色 时 问 Ｐ ｔ 网来 确 定零 部 件 利 ｅｉ ｒ 维 修资源 的步骤 如下 ： １ ）分 析各零 部 件 的基 本 维修 作 业 ， 制其 Ｐｔ 绘 ｅｉ ｒ
网络 图 ；
在 着色 时 间 Ｐ ｔ 网 中 ， 识 Ｐ ｔ 网是 由位 置 、 ｅｒ ｉ 标 ｅｉ ｒ
变 迁 、 向弧 和 标 识 组 成 的 有 向 网 络 ， 可 以 通 过 七 有 它 元 组 的形 式 来 表 示 ：
维 修 资 源 方 法 中所 存 在 的 问题 ， 介 绍 着 色 时 间 Ｐ ｔ 网基 本 原 理 的 基 础 上 ， 出 了 一 种 基 于 着 色 时 间 Ｐ ｔ 网 的维 修 在 ｅｉ ｒ 提 ｅｉ ｒ 资 源 确 定 方 法 。 阐 述 了通 过 着 色 时 间 Ｐ ｔ 网 来 描 述 维 修 作 业 的 时 序 关 系 和 维 修 资 源 的 种 类 关 系 ， 制 装 备 维 修 的 ｅｉ ｒ 绘
有色Petri网在软件开发中的应用
文章编号:1000-5889(2004)03-0088-04有色Petri网在软件开发中的应用刘密霞!余冬梅!冯涛(兰州理工大学电气工程与信息工程学院甘肃兰州730050)摘要"为了提高软件开发的质量!尽量在编写代码和执行软件系统之前找出错误!减少软件开发的费用!在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后!提出了引入有色Petri网后的软件开发框架!最后介绍了一个应用实例.关键词"有色Petri网#软件开发#形式化描述#图形表达中图分类号:TP311.52文献标识码:AA pp licati on of col ored Petri nets i n soft ware devel o p m entL I U M i-Xi a YU Don g-m ei FENG T ao(Coll e g e of E l ectri cal and I nf or m ati on En g i neeri n g Lanz hou Uni v.of T nz hou730050Chi na)Abstract:I n or der t o i m p r ove t he C ualit y of sof t ware devel o p m ent det ect t he err ors bef ore codi n g and i m p l e m enti n g t he s y st e m and reduce t he cost of sof t ware devel o p m ent col ored Petri nets w it h t he abilit y of f or m ali zati on descri p ti on and g ra p hi c eX p ressi on i s i ntr oduced i nt o t he sof t ware devel o p m ent.The defi-niti on of f or m ali zati on and g ra p hi c eX p ressi on of col ored Petri nets i s i ntr oduced first t hen t he f ra m e of sof t ware devel o p m ent w it h t he i ntr oduced col ored Petri nets i s p ut f or war d and fi nall y an a pp li cati on ill us-trati on i s g i ven.K e y words:col ored Petri nets3sof t ware devel o p m ent3f or m ali zati on descri p ti on3g ra p hi c eX p ressi on随着软件技术多年的发展软件过程的模型也经历了许多发展阶段从最初简单的编码加修正模型发展出许多适应不同需求的软件过程模型例如瀑布模型\转换模型\并行的瀑布模型\演进式开发模型以及螺旋式S p iral模型等[1].不论对哪一种开发模型软件开发的工程都起始于两个主要的行为:需求分析和系统建模.需求分析的目的是为了完全了解问题减少因为模糊的需求而引起潜在的问题.需求分析应该具有准确性和一致性清晰性和没有二义性直观\易读和易于修改.系统建模的目的是通过把系统分解为逻辑组件来描述整个系统的结构[2].许多研究人员把他们的研究兴趣放在支持这两种行为的技术开发上[3].有两种方法可以获得这两个主要行为:一种是用形式化的方法来指定和分析系统的行为另一种是用自然语言来描述和模拟系统.当指定\模拟和分收稿日期:2003-06-06基金项目:国家科技攻关项目(2001BA201A32)作者简介:刘密霞(1976-)女山东永济人助教硕士.析一个重要的和复杂的系统行为时可以选择一种形式化的方法来描述系统的特性.形式化的方法可以清晰\精确\详细地描述系统的特性.有色Petri 网(CPN或CP-nets)是一种精确的形式化定义语言其工具D esi g n/CPN[4]提供画图\仿真和分析等几乎所有的功能.由于Petri网可以简单\灵活地描述动态系统的行为以及对系统行为强有力的表达和分析能力它已被许多领域广泛使用[5].l有色Petri网［6，7］l.l CPN的形式化定义CPN是一个9元组CPN=(Z P T A N C G E I)1)Z是一个类型有限非空集合在这里把类型称作颜色集颜色集决定了用于网标注中的类型\运算和函数例如弧表达式\识别\初始化表达式和颜色集等.2)P为位置的有限集合.3)T为变迁的有限集合.4)A为弧的有限集合P O T=P O A=T O A =G与普通Petri网不同的是在这里网结构可以第30卷第3期2004年6月兰州理工大学学报Jour nal of Lanzhou Uni versit y of T echnol o gyVol.30No.3Jun.2004为空 即P U T U T =G 这样就可以在构造一个复杂的CP 网模型之前 先定义颜色集合 并对其做语法检查.与普通Petri 网不同的是 CP 网允许一对有序节点之间存在几条弧 所以把弧A 定义为一个独立的集合 而不是P >T U T >P 的子集.5>N 为节点函数 N :A P >T U T >P 节点函数把每条弧映射到一个二元组 第一个为源节点 第二个为目标节点 且这两个节点属于不同的类型 即(变迁 位置>或(位置 变迁>.6>C 为颜色函数 C :PZ C把每个位置P都映射到一个颜色集C (P > 也就是说P 中的每个标识(t oken >都属于颜色类型.7>G 为识别函数 G :T EX p rs 且满足V t T : T yp e (G (t >>=Bool /T yp e (Var (G (t >>>;Z.G 把每个变迁t 都映射到一个布尔表达式 并且G (t >中所有变量的类型必须包含于颜色集中.8>E 为弧表达函数 E :A EX p rs 且满足V aA :T yp e (E (a >>=C (P (a >>M S /T yp e (Var (E (a >>>;Z 这里P (a >表示节点函数N (a >中的位置 C M S 表示集合C 上的多种集合的集合.E 把每条弧a 都映射到一个具有类型C (P (a >>M S 的表达式 这表示E (a >的每次求值都生成一个依赖于相邻位置颜色集的多重集合.9>I 为初始函数 I :P EX p rs 且满足V PP : T yp e (I (P >>=C (P >M S /Var (I (P >>=GI 把每个位置映射为不包含变量的表达式 其类型为C (P >M S .CPN 的变迁规则:在一个标识M 中 步骤Y 可以发生 有且仅有V P P :Z (t b > YE (P t> b SM (P > 这里Y 是一个非空的绑定:V t T :Y (t > B (t >M S B (t >M S 表示B (t >上所有多重集合的集合 B (t >= (c 1 c 1> BT (t >G (t >(U 1=c 1 U 1=c 1>} BT (t >是绑定类型:BT (t >=T yp e (U 1>>T yp e (U 2>> >T yp e (U 1> 对一个变迁t T 有变量U 1 U 2 U 1.l .2CPN 的图形表示下面以分布式数据库DB M= d 1 d 2 d 1}为例来说明CPN 的图形表示.图1中椭圆表示位置 DB M 的三个位置代表数据库管理3个可能的状态:停止(I nacti ve >.等待(W aiti n g >和执行(Perf or m -i n g > 其中每个t oken 代表一个数据库管理者;信息的4个位置代表信息的4个可能的状态:不可用(Unused >.发送(Sent >.接受(Recei ved >和确认(A c-kno w l ed g ed >;另两个位置代表修改是否在进行:主动(A cti ve >和被动(Passi ve >.黑色的方框表示代表CPN 行为的变迁 图中共有4种不同的变迁:修改和发送信息(S M > 收到一个信息(R M > 发送一个确认(SA >和收到所有确认(RA >.连接位置与变迁的带箭头的线表示弧 弧中箭头的方向代表位置中t oken 的流动方向 t oken 的移动数目和它的数据值由位于弧旁边的弧表达式决定.例如变迁S M 有6个弧 它们是3个不同的弧表达式:e S 和M es (S >.其中e 为常量 S 与M es (S >中包含有变量S .为使变迁S M 发生 必须从DB M 中给S 绑定一个值.函数M es (S >把每个数据库管理者S 映射到S 所发送的信息.假设S M 中绑定S =d 2 则表示为(S M S =d 2 > 绑定之后弧表达式如下:e e S d 2 M es (S > (d 2 d 1>+(d 2 d 3>+ +(d 2 d 1>.图l 分布式数据库的CPN 描述F i .l CPN descri p tion of a distri buted dat abase98 第3期刘密霞等:有色Petri 网在软件开发中的应用每个位置有关联的数据类型 以决定位置中所包含数据的类型(通常类型的信息写在位置的附近>.在初始状态下 所有的数据库管理者都处于停止的状态 因此在停止位置中有1个t oken 但在执行和等待中没有t oken .一般一个位置中可以包含同一数据值的两个或多个t oken 这意味着有多组t oken 而不是仅仅一组.CPN 的一个状态称作标识 所以CPN 是一个函数 它把每个位置映射到有正确类型的多组t oken .初始标识M 0由初始表达式决定.对于图1的初始标识 有:M 0(I nacti ve >=d 1+d 2+ +d 1=DB M M 0(Perf or m i n g >=M 0(W aiti n g >=0M 0(Unused >= (S T > DB M>DB M S F T }=MESM 0(Sent >=M 0(Recei ved >=M 0(A ckno w l-ed g ed >=0M 0(Passi ve >=e M 0(Acti ve >=0有了初始标识 就可以根据变迁规则来触发变迁的发生 从而可做出图1的可达图(0-g ra p h > 根据可达图可以分析和验证其动态特性 如有界性~活性和公平性等.2CPN 在软件开发中的应用CPN 作为形式化的描述语言 图形表示的建模工具 应用到软件开发的过程中 其框架如图2所示.图2软件开发过程的框架F i .2Fra m e of soft ware develo p m ent第一步是根据用户提出的广泛信息来决定产品的功能与特性 确定特性的功能体系结构问题及部件依赖性.第二步是用形式化语言(CPN >来描述软件的需求分析 形成需求规格说明文档以满足对软件的功能描述.用形式化的语言可以通过分析来检查软件各个功能之间的冲突 消除自然语言中对软件功能的比较含糊的描述.第三步是利用CPN 的D esi g n /CPN 工具进行系统的CPN 建模 它提供了画图~仿真和分析等功能 通过分析和验证系统的CPN 模型来找出模型中的错误 不断地进行修改直到完全达到系统的需求为止.用CPN 进行系统建模是一种自上而下逐步求精的过程 先确定CPN 的基础结构 然后再通过逐步细化的方法来进一步描述变迁子网的结构 最后确定整个系统的CPN 结构.CPN 模型作为最后程序的规范说明 它可以通过仿真和分析找到模型中的错误以防止在最后程序中出错.在设计阶段结束时用可达图分析(状态空间分析> 在实现这个系统之前尽可能地找出模型中的错误.第四步是把CPN 的函数和颜色集转化为C /C ++的函数和类型 CPN 的结构可作为C /C ++程序的模板.最后生成代码实现系统的功能 并进行测试.3应用示例下面以一种安全告警系统设备的软件开发过程为例 说明用有色Petri 网进行建模的过程.3.l 自然语言的描述这个安全告警系统的中心单元(central unit >控制整个安全系统 它连接到一个通过公共电话的中央接收告警上 通常这个设备只需一个中心单元.PI D s (PRI S MA I nt erf ace D evi ces >处理物理输入(检测器>和输出(如指示灯或广播> PRI S MA 是由D al cot ech A /S 公司开发的安全系统.在一个设备中可以有多个PI D s 它们通过网络连接到中心单元上.系统主要通过位于建筑物内的控制台操作 控制台上有袖珍键盘和由字母与数字符号构成的显示按钮.它们可以根据系统提供的条件获取并控制信息 例如通知报警.进入一个建筑物或控制台的内部需在入口单元出示有效的代码~密码或智能卡(或这些的组合>来获取.通常入口单元位于受监视的建筑物的墙外接近入口处 这些入口单元可以是代码输入单元~密码单元或智能卡的读取.3.2有色Petri 网建模首先根据需求分析尽可能定义复杂的颜色集 然后再根据自顶向下逐步求精的方法来决定CPN 的基础结构.在这个系统中 上层有3个子变迁(环境 中心单元与配置> 每个代表模型的子网.环境模拟的是外围设施;中心单元构成模型的主要部分 它管理外部数据和这个安全系统的功能模型;配置通09 兰州理工大学学报第30卷过从配置文件加载数据来初始化外部数据.这个系统的软件部分中心单元需要用CPN 进行建模 而通信协议 硬件以及控制台和入口单元等各低级行为部分不需要用CPN 建模分析.这里主要介绍中心单元子网的有色Petri 网描述.中心单元子网包括5个处理过程 输入事件处理器 时间处理器 控制台处理器 日志处理器和入口单元处理器.输入事件处理器接受来自PI D s 的输入变化 决定是否产生报警.时间处理器控制时间依赖的数据 并处理时间超出事件.控制台处理器控制用户互操作 执行用户命令.日志处理器记录事件给打印机和内部日志.例如当一个监测器触发报警时 它的名字和报警类型被记录.入口单元处理器处理入口单元的命令.如果在输入处有t oken这个过程可被激活 代表环境的改变 例如用户在控制台上输入命令.图3中心单元的CPN 描述F i .3CPN descri p tion of central unit中心单元开始于初始化输出 如开关控制台上的指示灯 和发送起始命令到控制台.CP U 空闲位置确保只有一个过程被选择并完成后才可以处理另一个过程.这样做是为了防止同时操作共享数据 否则将会导致不一致 而且它反映了在硬件中只存在一个执行过程.接下来再分别描述这5个变迁的子网 这样层层细化直到完全描述系统需求分析的行为.然后对CPN 模型进行可达图的分析以及其它动态特性的分析 找出模型中的错误并及时纠正.4结论把有色Petri 网这个既有形式化的描述方法又有图形表达能力的工具引入到软件开发中 可以在软件开发中及早地发现错误和处理错误.有色Petri 网应用到软件开发中有以下优点1 CPN 不仅提供图形化的描述也提供系统的形式化描述.CPN 的形式化的模型用图形的方式描述了系统的主要组件及其行为 通过查看CPN 模型很容易找到系统行为的描述细节.2 通过仿真软件开发人员可以从已存在的CPN 中获得自信 同时软件开发系统的模型可以展示给客户.3 CPN 的0-g ra p h 分析对检验模型提供了有价值的帮助 一些错误可以在系统的执行中被发现.在最后的系统中发现和纠正错误的费用是非常昂贵的 因此有关CPN 的分析法是非常有价值的.4 CPN 的工具D esi g n CPN 提供几乎所有的功能 包括画图 仿真和分析 并且很容易进行语法检测.5 应用CPN 可以提高软件开发的质量从系统的起初框架到系统的技术模型 可作为编写实际的执行代码.但是随着模型的增大用D esi g n CPN 进行语法检测和仿真将要花费大量的时间 而且用可达图对大的模型进行分析会丢失一些信息 因此根据需要来扩展有色Petri 网的特性并把它应用到所需建模的系统中是进一步研究的内容.参考文献1 周之英.现代软件工程 M .北京 科学出版社 2001.47-50.2 冯涛 袁占亭 张秋余.数字校园项目的技术实现与项目管理模型 J .甘肃工业大学学报 2003 29 2 90-93.3 Tha y er RDort m an M.Soft ware re C uire m ent en g i neeri n g M .Calif or ni a I EEE Co m p ut er Soci et y Press 1997. 4 D esi g nCPN.Uni versit y of Aar hus EB 0L .htt p www.dai m i .au .dk desi g n CPN 2002-08-07 2003-04-08. 5 袁崇义.Petri 网原理 M .北京 电子工业出版社 1998. 6 Kurt Jensen .An i ntr oducti on t o t he t heoreti cal as p ect of col-ored Petri nets EB 0L .htt p www.dai m i .au .dk k i ens-en p a p ers ＿books rec ＿p a p ers ＿books .ht m l 2002-03-08 2003-05-06.7 Kurt Jensen .An i ntr oducti on t o t he p racti cal use of col ored Pe-tri nets EB 0L .htt p www.dai m i .au .dk k i ensen p a-p ers ＿books rec ＿p a p ers ＿books .ht m l 2002-03-08 2003-05-06. 19 第3期刘密霞等 有色Petri 网在软件开发中的应用。
基于Petri网的离散制造过程建模工具
基于Petri网的离散制造过程建模工具
胡春华;吴波
【期刊名称】《华中理工大学学报》
【年(卷),期】1996(24)9
【摘要】通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。
通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。
【总页数】4页(P28-31)
【作者】胡春华;吴波
【作者单位】机械科学与工程学院;机械科学与工程学院
【正文语种】中文
【中图分类】TH165
【相关文献】
1.Petri网建模工具的面向对象设计 [J], 丁彩红
2.面向对象Petri网在离散制造业中的建模与应用 [J], 赵艳英;薛国亮;
Neter:C程序代码Petri网自动建模工具 [J], 周国富;孙韵秋;蔡宇
4.一种Petri网层次模型建模工具的设计与实现 [J], 潘熙坤;李彤;柳青
5.基于受控Petri网的离散制造系统的反馈控制逻辑综合 [J], 王丽亚
因版权原因，仅展示原文概要，查看原文内容请购买。
MSTC 网及调度算法小探文档
MSTC 网及调度算法小探文档MSTC network and scheduling algorithm编订：JinTai CollegeMSTC 网及调度算法小探文档前言：论文格式就是指进行论文写作时的样式要求，以及写作标准，就是论文达到可公之于众的标准样式和内容要求，论文常用来进行科学研究和描述科研成果文章。
本文档根据论文格式内容要求和特点展开说明，具有实践指导意义，便于学习和使用，本文下载后内容可随意调整修改及打印。
这是一篇关于mstc 网及调度算法小探的毕业论文提纲，欢迎浏览借鉴！1 引言工作流是一类能够完全或者部分自动执行的经营过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间进行传递与执行，工作流管理系统是一个软件系统，它完成工作流的定义和管理，并按照在计算机中预先定义好的工作流逻辑推进工作流实例的执行。
工作流引擎是整个工作流管理系统的基础，其功能直接决定了工作流管理系统的应用范围和对变化的适应能力。
工作流引擎的核心是工作流过程模型和流程的调度算法，工作流过程模型是对业务流程的抽象表示，而调度算法则是流程执行的控制规则，两者共同实现了业务流程的自动执行。
工作流过程模型方面，有向图模型最早被用来建立工作流模型，如流程图、状态图等、活动网络图、epcm 模型（event-driven process chain，事件过程链模型）等。
h.a. reijers等学者将event-driven process chains 扩展提出aggregate epc （aepc）模型，用一个统一的模型来描述一系列相似的业务流程。
petri 网技术也是工作流建模的常用方法之一，如van deraalst 在petri 网的基础上提出了工作流网wf-net，并进一步研究提出了一种新的工作流建模语言yawl，kees van hee 等学者基于工作流网提出了一个过程模型和数据模型的融合方法。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
「 引 ’
以
遗 传 算法工 具 箱及应用【 〕 西安 西 北京 国防工
安 电子 科技 大学 出版 社 ,
梁久祯 智 能计 算 — 若干 理论 问题 及 其 应用【
业 出版 社 ,
巧 神 经 网络 的心 电 图 段 的 模 式识 别【 徽
责任 编样 杜 能姻
雌
,
即
,
即
,
而 , 罗 以即
第 卷第 年
期 月
软件 导刊
叮 屹
一种基于着色 工作 流语 言及 其演进
伍先扬 ’ ,沈文武 ,龚
重庆 大学 软件 学 院 ,重 庆
网的
科,
重庆通讯 学 院 ,重 庆
重庆 大学 经济与 工商管理 学 院 ,重庆 摘 要 传 统 的工 作流 系统注 重 业务流 程 的控 制 流 ,而对 数据 流 、 资源 分配 支持 较 弱 。阐述 了一 种基 于 着 色
八沈文武
一 四川蓬 安人 ,博 士 ,
一 ,重 庆人 ,重庆 大 学经 济与 工 商管理 学 院博 士研究生 ,研究方向为
第
期
伍先 扬 ,沈文 武 ,龚
科
一 种基 于着 色
苗 网的 工作 流语 言及 其演 进
本的
个工作流模式 。随后的几个版本提供了对工作流程的
等待同步 的 个线程 中的任意 程 ” 这一部分 同步结点为例 ,如果
之 ,神经网络和遗传算法理论的发展将会更上一个台阶 ,应用 更广 泛 。
工飞 、 〕 ｝月 , 』
【 」
,ቤተ መጻሕፍቲ ባይዱ
雷英 杰 ,张善 文 今考 文献 【 〕 田景 丈 ,高 “ 二 人 工 神 经 网络 算 法研 二 应 用【 , 北 一 北 一 一 、 , 美娟 , ‘ , 、 究及 二 。 】 京 , 京 。 理 工 大学 出版社 , 【 师黎 ,李辉 基 于
、 几石 二 石
产生更多线程 ,但允许每个正在执行的子实例正常结束 。 以图
。 。 。 。 , 。 。 。。
所示征文评 比流程为例 ,多例任务“ 接收参赛稿件 ” 有一个与
及 其 系统 演进 ,
网
的 工作 流语 言
通 过 对各 种 工作流 模 式的 严格 定 义 ,时 业务 流程 的控 制 流 、 据 数
流 、 源 分配提 供 了 良好 的 支持 。 资
关健 词 工作流 模 式
中 圈分类 号
着色
试网
文章编 号 一 为 一
文献标 识码
引言
近 年来 已有 大量 的工 作流 管 理 系统 在 企业 信 息 化 中得 到 应用 ,为业务过程提供 自动化支持 。 但传统的工作流存在着以 下 两方 面 不 足 其 一 ,工作 流 定 义语 言 缺乏 严 格 的形 式 化逻 辑 基础 , 目前 尚无统 一标 准 其二 ,大多 数据 工作 流系 统 的实现 注 重于 业 务流程 的控 制 流 ,而在 数据 流 、 源分 配存 在 明显不 足 。 资
这 使 得用户 在 实施 工作 流系统 时必 须进行 大量 的定 制开 发 ,影 响 了系统 的可 扩展性 。
是 一个 基 于着 色
苗 网扩 展 的工作 流 语言 , 其 最
初 目标 是解 决上 述 的第一 个 问题 提 出一种 严格 的形式 化定 义 的业务流程建模语言 ,并提供一个支持该语言的开源工作流实 现— 系统 。 系统 的最初版 本 同样 只限 于控制 流 ,它 实现 了最 基
个到达同步点 , 流程立即进 个分支流程中任愈一个到
数据 、 资源方面的简单 支持 ,但 由于缺乏对这两方面需求的详 细描述 ,系统功能有限 。随着人们对工作流模式研究的进一步 深人 ,作为工作流核心元素 的数据模式 、 资源分配模式 以及异 常处理模式也被归纳出来 , 同时也增加了 式 ,它们 中的大多数不能被 个新 的控制流模 直接支持 ,如部分同步
‘, 恤 ‘ 。 口 、 … 、 ,
卜 叫
结 束
取消
行程
功能特征及其演化
如前述 , 基于着色 网扩展的工作流语言 部分
卜 车
圈 部分 同步 实例
实现 了工作流模式 ,而其后续修订版 个基于着色
提供 了对全部
结构化循环 。 允许任务重复执行 。 在每次迭代之前或之 后进行条件测试 ,根据测试结果决定是否结束此任务 。 结束区域 。 支持强制结束 区域中的任务 。 图 所示 ,如 一 材料 报 审 场景 ,当并行 分 支 任 务“ 家 评 审 ” 束 时 ,强 制 结 专 结 束“ 同行评 审 ” 任务 ,使得 同步 点后 任 务“ 审报 告 ” 即执 行 。 评 立 持久 触 发器 与瞬 时触 发器 。支持 从 系统 环境 中收 到 的 触发信号 如定时器到期 启动特定任务 ,根据触发信号的持久 或瞬时特征分别命名 。 图 中的“ 截止 日期 ” 结点中包含一个持 久 触 发 器 ,当系统 定 时 器 消息 到 来 时 ,如 果 此 流 程结 点 任务 尚 未被使能 ,消息会被持久保持直到流程推进至此点 。而对于瞬
工作流模式的规范描述 。 其抽象语法为其每一语言元素提供一 网 的 可 执 行 语 义 模 型 。下 面 分 别 描 述
的控制流 、 数据及资源方面的功能特征
控 制流
时触发器而言 ,由于触发消息不能被持久保持 ,在此场录中使
用 会导 致触 发无 效 。 多例终止弧 沈 用于阻止动态多例任务
口一 口 享
人下一环节 。 所示 ,以旅行社代理订票业务流程 中“ 图 取消流 达此部分同步点 任一活动失败 ,则任务“ 取消行程 ” 活 , 被激 处于虚线所示取消区域 中尚未完成的任务被撤 回。
户护 二 ‘ 二
、 久 触发 、 代及 递 归 等 。 持 迭 为弥补 的上述不足 , 其研发 团队对其上述版本进 行了大量的扩充 , 旨在涵盖全部控制流 、 数据流及资源分配工 作流模式 ,提出基于业务流程综合视图的规范工作流语言 — 。本 文拟 阐述该 语 言 的最 新特 征 以及实 现 这 些新 特 征 的系统 组件 。
脚
一
毗 ,
,
卿
,
场
, 即
即
盯 川 二
罗
帅
基金项 目 重 庆市科 技 自然科 学 , 作者 简介 伍 先扬 一 , 男 ,重庆 巫澳 人 ,重庆 大 学软件 学院硕 士研 究生 ,研 究方 向 为业务 流程 管理 重庆通信 学院副 教授 ,研 究方 向 为人 工智 能和软 件 工程 龚 科
政 府 外贾监 测 与预刚 、 计 算和 专 家系统 软