基于人员-时间Petri网的气象业务保障流程建模.pdfVIP

图3传真圈与鹿圈的旋转匹配示意雕 圈4传真圈与底圉的旋转E配选加固 4小培 尽管传真舟是“像索形式保存的+他§讨特殊扯理，仍然能够与苒它气象资科进{r综台遗加R示。主要【．作蜘下： (I)根据传拜罔的投影方式厦地蛾范日进行分娄，制作底罔并提取定位、显示所需特征参敷， (2)计算恃弹圈与同凳底罔问的像素偏糌帚．窭戌传真网和同类底稠问的EI瞳位； (3)通过拉忡、旋转传奠嘲像．实残传真罔与气缸信息缘台显Ⅲ投影底崮问的Ⅸ陀定位．屉终实理任意标椎经鹰条 件下传真图与投影底田问的旋转选加2示。 传真图选加R示曲宴现．可为气馥信息缘台显示软件的开发提供新的基础。 参考立献 l nt女$^t$mn*1H*$j匕m·1tf“《}十，a啪 zⅨ1mmtn，2嘶 2＆*^．iIJ^*#}m≈tn*1dm 基于人员一时问Petri网的气象业务保障流程建模 王勇翟建设 解放军理1大学气象学院．南京211Ⅲ R．1；T‘^Ⅲ。§{E*＆十¨t*n．M_lE。^*。#自一十it№^HM 目。*Ⅱ§f m十∞mi*m。 *■目^Ⅲ州M晰Htn＆*ⅨmH# 1 z作湘关曩客 】：作魂噼Ⅻ培近年来发Ⅸ箍为迅建的11竹#t应用技术z一．B破广泛地成肿T办公自动化、业务漉程难纽(h… ManagementCoalition， processreengineering，简称BPR汲其他需要规划和管理工作流的领域“1。按照工作流管理联盟(Workflow WfMC)的定义，工作流是一类能够完全或者部分自动执行的经营过程，它根据一系列过程规则，文档、信息或任务能够 在不同的执行者之间进行传递与执行；工作流管理系统是一个软件系统，它完成工作流的定义和管理，并按照在计算机中 预先定义好的工作流逻辑推进工作流实例的执行【2】。 工作流管理联盟在总结和归纳了不同的工作流系统后，抽象出来一个高层次上的工作流体系结构——工作流参考模型 【2】。该模型详细描述了工作流管理系统的有关概念，并在此基础上给出了工作流管理系统的各个组成部分、各部分的功能 及相互之间的接口，进一步规范了各种工作流管理系统的结构。设计工作流管理的关键在于工作流建模，即在概念级别上 给出业务过程的抽象表示。 2人员一时问Petri网模型 2．1 Petrl网模型 、 工作流的主要建模方法有活动网络图、角色行为图和Petri网等建模方法。Petri网建模方法较其他建模方法的优点为： (1)Petri网兼顾了严格的语义和图形语言两个方面。 (2)用Petri网定义的过程有严格清晰的含义，能很好的描述工作流过程，直观易懂。 变迁(Transition)是Petri网中的主动元素，在工作流过程建模中。变迁通常表示任务，变迁的实施导致状态的改变。 (4)Petri网具有强有力的分析技术和手段．如响应时间、等待时问、资源占有率等。下面具体介绍Petri网的形式化定 义为： 定义1．一个Petri网是一个三元组PⅣ=(P，r，F)： (1)尸是有限个库所的集合，P=l易IB是库所，f=1’2……m}； I f．是变迁．J=1，2……刀}；其中库所和变迁是不相同的，它们没有交集即： (2)歹是有限个变迁的集合，T=ftj 7’2 尸n a。 2．2时间Petri网模型 工作流系统时间管理是研究工作流执行的时间维计划，主要涉及估计不同的活动执行延迟、避免活动过程违反时问约 束以及处理时间违反约束的异常。时间管理的关键在于时间信息的有效建模。时间Petri网在对传统Petri网进行了时问扩 展后，成为一个有效的建模方法。 定义2．时问Petri网(TimedPetrinet) 时问Petri网删=(尸Ⅳ，D，r)，其中 (1)PⅣ是传统Petri网，PⅣ=(尸，r．F)； (2)D=【嘭lj=l，2……，11，嘭∈RU10}，表示完成每个变迁0所需要的时间； (3)F={(，，，f，)I_，=1，2……刀l，(f，．r，)表示变迁tj的实