基于Petri网的兵团空间信息系统运行管理模型.pdf

03卷第 l期 湖北大学学报 (自然科学版) Vo1．33 NO．1 2011年 3月 JournalofHubeiUniversity(NaturalScience) Mar：，2Oll 文章编号 ：1000—2375(2011)01—0057—04 基于 Petri网的兵 团空间信息系统 运行管理模型 秦怀斌 ，梁斌 ，邵明文，郭理 ，戴建 国 (石河子大学信息科学与技术学院，新疆 石河子 832003) 摘要 Petri网由于具有图形化和数学化的双重特点 ，是系统业务过程建模、分析、优化、管理与集成的优 秀技术，得到了广泛的应用．简要介绍Petri网，并对兵团空间信息系统进行了分析，然后利用 Petri网建模技 术来刻画兵团空间信息系统运行管理过程，通过构建管理模型来对系统实施有效的管理，以达到安全、可靠、 方便地为兵团各类用户提供服务的 目的． 关键词 Petri网；工作流；兵团空间信息系统；管理 ；模型 中图分类号 TP399 文献标志码 A 随着计算机技术、网络技术的发展，新疆生产建设兵团(以下简称 “兵团”)也加快了信息基础设施和 空间基础设施建设的步伐．在国家科技部的大力支持下，开发了兵团空间信息系统，分别服务于兵团、各 职能部 门、农业师 (局)、农牧 团场 ，为兵团屯垦戍边提供支持，实现各个部门对信息的及时了解及部门之 间的信息共享．如何更好地对系统运行进行管理，使其更安全、可靠、方便地为兵团各类用户提供服务， 显得尤为重要．系统运行管理流程化是兵团空问信息系统运行管理追求的 目标． 工作流技术是针对系统中所具有的固定的业务流程过程而提出的，是实现业务过程 的建模、仿真、 分析、优化、管理与集成的技术．工作流是一类能够完全或者部分 自动执行的业务过程，是多个参与者之 间按照某种预定义的规则传递文档、信息或任务的过程 ，以实现某个预期的业务 目标．利用工作流技术 进行建模和分析，可以规范业务过程 ，发现其中不合理的环节，进而对业务管理过程进行优化重组_】。j． Petri网是德 国Petri博士于 1962年首次提出的，由于其具有图形化和数学化的双重特点，得到了 迅速发展及广泛应用．基于 Petri网的工作流模型是对工作流的抽象表示 ，也是对业务过程 的抽象表示． 通过 Petri网能很好地描述系统运行管理及流程管理模型，既可用于静态的管理流程分析，又可用于动 态的管理流程分析．本文 中利用Petri网建模工具来刻画兵团空间信息系统运行管理过程 ，通过构建模 型来对系统实施有效的运行管理． 1 Petri网及基于 Petri网的工作流网 1．1 Petri网 定义 1 一个 四元组PN=(P，丁；F，Mo)称为Petri网，当且仅当[3‘： (1)P表示网中所有库所节点集合，T表示网中所有变迁节点集合； (2)Pn丁=== (二元性)，PUT≠ (非空性)； (3)F (P×丁)U(TXP)(流关系只在 P和 T元素之间)； (4)dora(F)Ucod(F)一PU丁(没有孤立节点)．其中dom(F)一{-z存【在Y：(Lz，)∈F)、cod(F)一 { f存在,27：(，)∈F}分别为F的定义域和值域； 收稿 日期：2010—01—05 基金项目：国家科技支撑计划项 目(2007BAH12B07)、国家 自然科学基金 资助 作者简介：秦怀斌 (1980一)，男，硕士，讲师，E-mail：hbqin1023@sohu．com 湖北大学学报 (自然科学版) 第 33卷 (5)Mo：P—N为标识 函数 ，其中 为初始标识 ，N为 自然数集． 定义 2 令 z∈PU丁，则： (1) ==={l(，)∈F}；(2) ‘一{ (，)∈F}， 称 。 z 分‘别为 的前置集合和后置集合． 1．2 基于Petri网的工作流网 定义 3 一个 Petri网PN一(P，丁；F，M )称为一个工作流网wF—net当且仅当： (1