- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
基于Petri网工流模型的分析
基于Petri网工作流模型的分析
晋 蓓,冯卫兵
(西北大学计算机系,陕西 西安710069;2. 西安科技大学基础部陕西 西安710054)
摘要:通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。
关 键 词: 工作流模型;Petri网;死锁
文章编号:1000-274X(200)0068-07
工作流模型的分析是指采用各种方法(包括理论模型、模拟、测量方法)对工作流模型的内部行为进行分析计算,使得工作流模型在理论上是正确和有效的。
虽然现在绝大部分的工作流产品都提供模型性能分析的仿真功能,但由于复杂性等原因很难找到一种有效的算法对模型进行分析与验证本文在总结模型分析研究成果现状的基础上,针对目前模型验证方法存在的不足,总结了Petri网模型分析中的一些图形化简规则,针对企业经营过程模型的特点并利用文中提出的模型正确性标准,提出了一种具有完备性和高效率的工作流模型的模型验证方法分析。
1
定义1信牌驱动模型的静态结构: 多元式称为信牌驱动模型的静态结构(以下简称信牌驱动模型),其中:
1) 表示扩展的信牌驱动模型所涉及的所有数据,其值域用表示;
2) 表示活动集合,和分别称为功能函数和后继函数。被定根据出函数定义,参见下边的定义;
3)表示信牌箱集合;
4),称为的流关系,其中和分别称为入关系和出关系。对出关系定义一个出函数:表示与相关的出函数,被称为的后继函数。
5)? 是一的活动,称为开始活动,6) 是一个活动的集合,称为结束活动,7)? 称为转移的权重)是(注意:中不包含)的一种划分即是的另一种划分,即规定若,则;若,则;如果,则被称为简单元素。
一个信牌驱动的工作流模型,开始活动只能是一个,但是结束活动可以是多个。为了描述问题方便,有时我们也将信牌驱动的模型简写成。
定义2真假信牌设1)上的一个多重集是一个映射 (自然数集合),令表示上所有多重集的集合2)表示多重集且表示多重集且表示多重集 且。
3 活动的SPLIT设为信牌驱动模型,令,称集合为出弧的集合。表示出弧的个数。与所联系的信牌箱称为的后信牌箱。或者或者和称为的SPLIT类型,记为。
4 活动的JOIN设为信牌驱动模型,令,称集合为入弧的集合。表示入弧的个数。与联系的信牌箱称为的前信牌箱。或者或者或者或者,和称为的类型,记为。
5 确定的Petri网[1]。本文的讨论均在有限网的基础上进行,以下不说明。
6 非确定Petri网系统[1]。
7 非确定变迁的发生结果[1]。
Petri网
Petri网有很强的表达能力,描述能力与uring机等价,因此所有典型的流程都可用Petri网予以描述。本节探讨将工作流模型中的各种基本控制结构自动地转化为Petri网的规则。由于工作流模型是由这些基本的控制结构组合而成的复杂网络,所以工作流模型就可转化为一个Petri网模型。下面研究典型流程到Petri网结构转换的对应规则(为讨论方便,在没有特别说明的情况下,在转换过程中对应的信牌箱与位子的容量相同,对应连线的权值相同)转化原则:转化最重要的是要遵守原系统的原有逻辑顺序,把对象的操作映射为Petri网模型中的位子;工作流中的活动即Petri中的转移;工作流中的开始活动即Petri网中的无输入转移和该转移的输出位子,它受外界因素的控制,自动产生激活整个etri网;工作流中的结束标记即Petri中的无输出库所变迁和单变迁的输入库所;工作流中的同步节点即Petri中的多输人、单输出变迁及该变迁的库所1)开始流程结束流程的转化如图1(a)所示。2)结束流程结束流程的转化如图1(b)所示。
(a) (b)
图1 信牌驱动模型向Petri网的转化
Fig. 1 The transform from the Xinpai-driven model to Petri net
3顺序流程在信牌驱动模型中,将其中的活动和信牌箱分别对应为变迁和位子,就可构造一个与之等价的Petri网结构4)竞争流程在扩展的信牌驱动模型中,竞争流程可表示为。其中 ;。将其中的活动和信牌箱分别对应为变迁和位子,就可构造一个与之等价的Petri网结构,其中,是与对应的元素},。
5无条件分支它是一种并发执行的结构。信牌驱动模型中,并行流程可表示为,其中 |。将其中的活动和信牌箱分别对应为变迁和位子,就可构造一个与之等价的Petri网结构。其中是与
您可能关注的文档
- 地下室筏板基础大体砼施工组织方案.doc
- 地下室钢筋施工方案终版2 09.9.13.doc
- 地下改性沥青油毡(BS)防水层施工工艺大全.doc
- 地下管网安装工程施方案07.11.20.doc
- 地下车库人防桩基分工程质量评估报告(新).doc
- 地下车库基坑工程管降水及土方开挖施工方案.doc
- 地化所金阳新所人工孔桩施工方案.doc
- 地方税收促进现代服业发展优惠政策90条.doc
- 地方融资平台转型专题.doc
- 地方财政自主的宪政辑——辅助原则的分析进路.doc
- 江苏省灌云高级中学2023-2024学年高三上学期第一次月考地理试题含答案.docx
- 备战2024年高考物理一轮重难点复习 第十三章 近代物理.docx
- 江苏省高邮市一中2021-2022学年高三上学期第一次月考语文试题(原卷版).docx
- 江苏省华罗庚中学2023-2024学年高三上学期12月阶段检测数学试卷含答案.docx
- 江苏省海门中学2023-2024学年高三上学期第一次调研考试地理试题及答案.docx
- 备战2024年高考物理一轮重难点复习 第九章 恒定电流.docx
- 江苏省高邮市2023-2024学年高三下学期3月学情调研数学试题含答案.docx
- 备战2024年高考物理一轮重难点复习 实验十一:探究影响感应电流方向的因素.docx
- 备战2024年高考物理一轮重难点复习 实验三:验证平行四边形定则.docx
- 备战2024年高考物理一轮重难点复习 第十四章 光.docx
文档评论(0)