基于Petri网时间约束问题.pdfVIP

20 10 年第 3 期 ( ) Vol35 N o3 河北大学学报 哲学社会科学版 ( ) ( ) 第 35 卷 总第 153 期 J ou rnal of H ebei Uni vers i ty P hi los op hy an d S oci al S cience J un, 20 10 基于 Pet ri 网的时间约束问题 王文彬 ,刘文远 (燕山大学 经济管理学院 , 河北 秦皇岛　066004) 摘 　要 :为了解决复杂工作流模型中时间约束造成工作流崩溃问题 ,提出条件模糊时间 Pet ri 网工作流模型 。首先给出条 件模糊时间 Pet ri 网工作流的定义 。然后给出模糊时间 Pet ri 网的三种基本模式的模糊时间推理 ,得到每种模式下 Pet ri 网 工作流模型 , 同时在理论上验证所提出模型的必要性 。最后通过实例说明根据条件模糊时间 Pet ri 网工作流建模 ,可以有 效地避免由于时间约束造成的工作流崩溃问题 。 关键词 :工作流 ;模糊时间 Pet ri 网;时间约束 ;线性推理 ( ) 作者简介 :王文彬 1968 — ,男 ,山西广灵人 ,燕山大学经济管理学院博士研究生 ,主要从事城市信息化管理研究 。 中图分类号 :F24 文献标志码 :A 文章编号 : 1005 —6378 (20 10) 03 —0099 —04 收稿 日期 :20 10 —02 —10 间范围内则系统正常结束 ,否则系统或运行异常或就崩溃 一 、引　言 掉 。本文提出的条件模糊时间 Pet ri 网工作流是对全局时 间约束进行研究 ,使系统避免不必要的异常或崩溃 。 一般而言 ,在实时系统的建模和分析时 , 时间是一个 ① 重要问题 。随着时间因素在 Pet ri 网 理论和应用分析中 二 、定 　义 处于越来越重要的位置 ,各种与时间相关的 Pet ri 网解决 方案相继而出。文献 [ 1 ] 提出给 Pet ri 网库所或变迁添加 定义 1 　局部时间约束 固定的时间值 ,来描述资源在库所和变迁间流动的时间 , 在 Pet ri 网中 ,如果一个变迁被赋予了时间约束 ,则这 但这只适合运行时间固定的系统 。现实中常常遇见系统 个时间约束被称为局部时间约束 。 运行时间不固定 ,在一定范围内变化 ,如在处理客户需求 定义 2 　全局时间约束 系统中 ,处理客户需求的时间是不定的 ,但又不能无限期 , 假设系统存在一个全局时间坐标 ,在具体的 Petri 网时 否则会影响客户的满意度 。这样的系统对时间都有个约 间分析过程中,根据时间 Petri 网理论 ,通过托肯的流动将局 束 ,如果违反了这些约束系统 ,就不能正常工作 , 甚至崩 部时间转化为全局时间 ,这个全局时间即为全局时间约束 。 溃 ,导致成本增加 、工期延误 、资源浪费等 。由此可见 ,在 定义 3 　约束时间片