Petri网模型在电信结算系统中的应用.pdfVIP

!呈堡垡丛Q生Q鱼!旦曼垒堡!!堡呈垫查壅堕_ Pet r i网模型 在电信结算系统中的应用 中圈电信股份有限公司江苏分公司企业信息化部肖宝林 摘 要：由于睢喇网模型其有强大的描述离散事件系统的能力，电信综合结算系统采用了基于Pe晡网的系统模型．作为分析T 作流模型的理论基础。讨论r结算系统优化求解模型和上作流Petd网模型。结算系统建立了全局流程管理机制，调度系 统统筹管理任务、进程和资源等各方面要素，成功减少了计算机资源消耗，也使结算系统的监控、配置、操纵更加方便和 智能。 关键词：电信结算系统；Petfi网；下作流管理 迁节点z之前连接的所有库所节点中都有令牌时，则变迁节点 0引言 ，满足触发条件，处于被授权状态IlJ。Pe晡网的一个简单实例见 电信结算系统存在结算业务种类多、业务处理流程各不 图l。 相同、处理任务到达时间与数量波动明显和处理实时性要求 高等特点，因此，异步多进程并发处理的软件架构体系成为必 然的选择。nⅢ网兼具严密的数学基础和直观的图形结构，已 经成为应用于并行离散系统分析的有效建模工具。 S：库所节点；T：变迁节点 1 Pelr．网与工作流 图1 Peln网实例 1．2事件间基本关系 1．1 Pelr|网定义 设囟、e。为受约束框架范围内的任意两个事件，其中最基 Peti网是对离散并行系统的数学表示，在1962年由C·A·本的关系I：唷： Pet一在他的博士论丈Communicationw汕automata中提出，Pe一顺序：前一个事件的发生是后一个事件拥有发生权的前 网在描述并行系统中的动态性质方面有突}}；的优势。 提； 原型Petri网是一切扩展Pe试网的基础。原型Pe伍网是一个冲突：其中任何一个事件的发生都会使另一个事件失去 发生权； j元组(S，L，)。其中，_S、r、肜}别代表库所集(place)，变迁集 arcs)。S和r是Petri网中包含冲撞：一个事件的发生会使另一个事件失去发生的后集 (tr粕sitions)和有向弧集(directed 的两类节点，有向弧代表连接两类不同结点的流关系。Pe晡网 条件； 的库所内可能包含一个或多个令牌(token)，令牌在库所内的 并发：任何一个事件的发生都不会使另一事件失去发生 权。 分布状态成为网的标识(marking)。在原型Pe喇网中，当一个变 通道分业务处理流稳见网2。 1．3工{乍流 ， 工作漉理论狠撂系统嚣标与甄定怒翊，讨论信怠或任务 在系统内部各参与者之间流动的自动化程序。 工作流专注于描述祭统内的业务流程逻辑，是按特定结 ，l。雳i，}1 ■ 构组成的路径网络。工作流的基本要素有：资源、流程和任务。 碉。兰冈㈣一 冀审，资滠是处理活囊瓣挟符者，菠器定义7姓舞的逻罄，{壬 罚／ 劳聚始理的对象，程务缀过流程内各步骧的执行雨逐步转化 ， 为最终的状态。因此，工作流的最终目标是确保进入系统的任 一一日一 厨恼渣，“)．1调掣 圜圜匿 霹I]固；雷母母目 侣母侣