专利名称：基于带抑制弧的Petri网模拟HB系统状态转换的方法
技术领域：
本发明属于电信技术领域，特别是涉及一种基于带抑制弧的Petri网模拟HB系统状态转换的方法。
背景技术：
为了在激烈的市场竞争中取得有利地位，各运营商必须为客户提供丰富的业务资费策略、灵活的业务捆绑、预付/后付互转、统一支付、统一帐单管理等，建立实时、灵活的融合计费系统。融合计费系统由实时计费和准实时计费(HBJPHot Billing)两部分组成，两个系统均可以实现电信的多种业务的计费处理，但具体计费过程在哪个系统处理，取决于运营商对客户计费、扣费的实时性要求。准实时计费(Hot Billing)俗称热计费，是离线计费的一种，其特点是计费系统以联机方式得到使用记录后，立即进行计费，尽可能缩短业务使用与计费之间的时间差。热计费系统(HB系统)有三种状态运行状态(Offline、 Maintenance、Online)，在网/离网，容灾(主/备)。由于业务计费是通信运营最重要的环节之一，HB系统保持健康才能保证运营商的正常业务运行，因此运维人员经常需要在三种状态之间转换HB系统以进行维护。由于HB系统的重要性，运维人员希望能够即时了解 HB系统状态转换的处理进度和健康程度，从而加以适当控制，比如发生灾难进行自动恢复时，了解已完成的切换操作、当前各系统状态以及还需要执行的操作。Petri网作为一种图形化数学工具，是一种适合于描述异步并发现象的系统模型。 原型Petri网可定义为N = (P，T ；F, M0)，即库所、变迁、有向弧以及初始标识等元素组成， 虽然原型Petri网既有丰富的描述手段与系统分析技术，但不具备零检测能力。带抑制弧的Petri网的模拟能力比原型Petri网有实质性增强，它是在原型Petri网的基础上增加一种连接库所和变迁的抑制弧形成的。带抑制弧的Petri具备零检测能力即同图灵机具有等同的模拟能力。它使用五个元素为系统建模(权值函数默认为1，容量函数默认为无穷大)库所(Place)、变迁(Transition)、抑制弧(Inhibitor)、有向弧(Arc)和令牌(Token)。库所(Place) 表示资源、缓冲区、条件、状态等。变迁(Transition)表示过程、事件或算法等。抑制弧 (Inhibitor)表示对具备发生条件的变迁是否允许发生起控制作用。有向弧(Arc)表示变迁与库所间的依赖或作用关系。令牌(Token)表示资源可用或条件成立或资源数量等。 库所、变迁、抑制弧、有向弧的连接表示系统的静态功能和结构，令牌在库所中分布情况表示系统的状态(标识)或者资源数量，变迁点燃和令牌移动描述系统的动态行为。Petri网的抑制弧只对(在原型Petri网意义下)具备发生条件的变迁是否允许发生起控制作用。变迁一旦发生，抑制弧对由此引起的标识变化不产生影响。带抑制弧的 Petri网定义为N = (P，T ;F，I，MQ)，其中P为库所集，每个库所用圆圈表示；T为变迁集，
每个变迁用横条表示疋为有向弧，卩￡( \1)1](1\ )0’’为笛卡儿积)；1为抑制弧，只能从库所引向变迁，抑制弧相当于把一条有向边的箭头换成一个小圆圈；Mtl为初始标识，N 的标识可用η维向量表示，其中η为网N中库所个数，每个分量代表相对应的库所所含令牌数。通过带抑制弧的Petri网建模分析方法，可以较好的辅助分析复杂系统中常见的同步、 并发、资源共享、冲突、死锁等问题。
发明内容
因此，本发明的目的在于基于带抑制弧的Petri网来模拟HB系统状态转换。为实现上述目的，本发明提供了一种基于带抑制弧的Petri网模拟HB系统状态转换的方法，包括如下步骤步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块；步骤二、基于带抑制弧的Petri网，用库所代表各个模块的不同状态，用变迁来代表各个模块内部不同状态之间的切换，用令牌的分布情况表示模块所处的状态，分别确定各个模块的库所、变迁及初始令牌的分布情况；步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接，分别形成每个模块所对应的Petri子模型；步骤四、根据三个模块之间关系，用有向弧或抑制弧将所述Petri子模型连接成一个Petri整体模型；步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。其中，还包括步骤六、应用化简规则等价化简所述Petri整体模型。其中，还包括步骤七、判断经步骤六化简后的Petri整体模型是否有界，若有界则建立相应的可达图。本发明可基于带抑制弧的Petri网来模拟HB系统状态转换，可以显示HB系统的实时状态，让运维人员即时了解HB系统状态转换的处理进度和健康程度，从而加以适当控制；采用等价化简规则针对Petri整体模型进行化简，有效解决了 Petri网的“状态空间爆炸”问题；针对化简图建立可达图，通过可达图实现了快速分析HB系统状态转换的活性、有界性、安全性等特性，辅助运维人员执行HB系统状态转换。
下面结合附图，通过对本发明的具体实施方式
详细描述，将使本发明的技术方案及其他有益效果显而易见。附图中，图1是应用本发明所得到的模拟HB系统状态转换的带抑制弧的Petri网的示意图；图2是串联库所合并示意图；图3是并联库所合并示意图；
图4是混合化简I示意图；图5是混合化简II示意图；图6是消除自环路变迁示意图；图7是消除自环路库所示意图8是带抑制弧的串联库所合并示意图；图9是带抑制弧的并联变迁合并示意图；图10是带抑制弧的混合化简I示意图；图11是消除带抑制弧的自循环变迁示意图；图12是简化图1后得到的带抑制弧的Petri网的示意图；图13是图12的带抑制弧的Petri网的可达图示意图。
具体实施例方式如图1所示，其为应用本发明所得到的模拟HB系统状态转换的带抑制弧的Petri 网示意图，在图1及随后的附图中，圆形节点表示库所(Place)，实心方形节点表示变迁 (Transition)，库所和变迁之间带箭头的连线表示有向弧(Arc)，库所和变迁之间带圆圈的连线表示抑制弧(Inhibitor)，实心圆点表示令牌(Token)。按照本发明基于带抑制弧的Petri网模拟HB系统状态转换的方法得到图1所示的带抑制弧的Petri网的过程包括以下步骤步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块； 分析现有HB系统的三种状态，包括运行状态(具体分为Offline、Maintenance、Online)、 在网/离网、容灾(主/备)及其关系，将HB系统划分和整理，实现HB系统三种状态的模块化，具体如下。1. 1运行状态模块在此模块下，包括Offline、Maintenance、Online三种状态及其之间的状态转换。1. 2在网/离网模块包括离网和入网两种状态及其之间的状态转换。可以理解， 对于实际的HB系统，可以确定运行状态模块和在网/离网模块之间的关系只有在Online 状态才能入网；从Online切到Offline或者Maintenance状态前，必须先离网。即入网时， 可用抑制弧控制具备发生条件的变迁是否允许进行。1. 3容灾(主/备)模块包括主系统和备系统两种状态及其之间的状态转换，而且，对于实际的HB系统主、备系统之间切换只能在Maintenance状态进行。步骤二、用库所代表各个模块的不同状态，用变迁来代表各个模块内部不同状态之间的切换，用令牌的分布情况表示模块所处的状态，分别确定各个模块的库所、变迁及初始令牌的分布情况；根据各个模块进行分析，先确定库所、变迁及其初始令牌，针对各个模块，若哪个状态条件成立则哪个代表该状态的库所持有令牌。2. 1对于运行状态模块，Online状态可细分为=Online正常状态，Online超负荷状态，Online故障状态；Off line状态可细分为=Offline正常状态，Offline故障状态。各状态可用库所表示，则运行状态模块的库所可分别命名为P0_0nline_正常，？1_011111^_超负荷，P2_0nline_ 故障，P3_0ffline_ 正常，P4_0ffline_ 故障，P5_Maintenance。根据它们之间依赖或作用关系，可用变迁表示运行状态之间的切换过程。运行状态模块的变迁分别为T0_0ff正常到On正常、Tl_0ff正常到Maint、T2_0n正常到Off正常、T3_0n正常到 Online超负荷、T4_0n正常到On故障、T5_0nline正常到Maint、T6_0n超负荷到On故障、 Τ7_0η超负荷到On正常、Τ8_0η超负荷到Off正常、T9_0n故障到On正常、Τ10_0η故障到 Off故障、Tll_0ff故障到Off正常、T12_Maint到Off正常、T13_Maint到On正常。此处依次按每个库所判断与其它所有库所的关系，若能从该状态库所切换到另一个状态库所，则存在一个变迁，并将变迁(Transition)名命名为该库所名或者库所名简称到另一库所(状态)名或者库所名简称。例如，在图1中，库所P30_ffline_正常到库所？0_0111^^_正常的变迁被命名并标记为T0_0ff正常到On正常。2. 2对于在网/离网模块，库所为P6_在网、P7_离网；变迁为T14_在网到离网、 Τ15_离网到入网。2. 3对于容灾(主/备)模块，库所为Ρ8_备系统、Ρ9_主系统。变迁为Τ16主到备系统、Τ17_备到主系统。根据各个模块建模时先确定库所，依次按每个库所判断与其它所有库所的关系再确定变迁，最后依次判断库所和所有变迁的关系并用有向弧或者抑制弧进行连接，增强了建模的清晰度。步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接，分别形成每个模块所对应的Petri子模型，形成对应运行状态模块、在网/离网模块及容灾模块的三个Petri子模型。步骤四、确定模块之间关系，根据三个模块之间关系，整合各个模块的Petri子模型，用有向弧或抑制弧将各Petri子模型连接成一个Petri整体模型，即形成图1所示的 Petri网模型。4. 1运行状态模块和容灾(主/备)模块的衔接点是主备系统切换只能在 Maintenance状态进行，即库所P5_Maintenance分别和变迁T16主到备系统、T17_备到主系统进行有向弧连接。4. 2运行状态模块和在网/离网模块的衔接点是只有在Online状态才能入网；从 Online切到Offline或者Maintenance状态前，必须先离网。换言之，运行状态模块中的库所P3_0ffline_正常、P4_0ffline_故障、P5_Maintenance分别与变迁T15_离网到入网用抑制弧连接控制；在网/离网模块中的库所Ρ6_在网分别与运行状态模块中的变迁Τ2_ On正常到Off正常、T8_0n超负荷到Off正常”、T10_0n故障到Off故障、T5_0nline正常到Maint用抑制弧连接控制。步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。通过令牌在带抑制弧的Petri网中的不同库所之间的流动可以模拟HB 系统状态转换的动态过程，利用Petri中间件平台进行控制可快速即时的对HB系统状态转换进行模拟，及时发现状态转换中的问题，起到对运维人员的指导作用。可以将图1所示的带抑制弧的Petri网输入Petri中间件平台或Petri模拟软件等Petri网模拟工具，从而得到HB系统状态转换的实时状态。对于Petri网模拟工具的使用方法为本领域技术人员所熟知，在此不再赘述。5. 1结合显示装置，可以直观的显示系统状态转换的实时状态，让运维人员即时了解HB系统状态转换的处理进度和健康程度，并加以适当控制。5. 2发生灾难进行自动恢复时，可以显示已完成的HB系统状态切换操作、当前各系统状态以及还需要执行的操作。本发明可进一步包含步骤六应用图2至图11所示的化简规则等价化简Petri整体模型。图2至图11所示为本发明所使用的多种Petri网化简规则示意图，图中左侧为化简前的图，右侧为化简后的图。图12为图1的带抑制弧的Petri网示意图经图2至图11 所示的规则化简后的简化带抑制弧的Petri网示意图。针对整体模型进行等价化简，是为了解决Petri网的“状态空间爆炸”问题，便于后续分析验证HB系统状态转换中是否存在死锁。6. 1本发明采用到的化简规则分别如下①串联库所化简，如图2串联库所合并示意图所示；②并联库所化简，如图3并联库所合并示意图所示；③混合化简I，如图4混合化简I示意图所示；④混合化简II，如图5混合化简II示意图所示，图5中原图中M(pl)≥1 ；原图记作N1，化简后的图记作N2，可达标识集做相应变换
权利要求
1.一种基于带抑制弧的Petri网模拟HB系统状态转换的方法，其特征在于，包括如下步骤步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块； 步骤二、基于带抑制弧的Petri网，用库所代表各个模块的不同状态，用变迁来代表各个模块内部不同状态之间的切换，用令牌的分布情况表示模块所处的状态，分别确定各个模块的库所、变迁及初始令牌的分布情况；步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接， 分别形成每个模块所对应的Petri子模型；步骤四、根据三个模块之间关系，用有向弧或抑制弧将所述Petri子模型连接成一个 Petri整体模型；步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。
2.如权利要求1所述的基于带抑制弧的Petri网模拟HB系统状态转换的方法，其特征在于，还包括步骤六、应用化简规则等价化简所述Petri整体模型。
3.如权利要求2所述的基于带抑制弧的Petri网模拟HB系统状态转换的方法，其特征在于，还包括步骤七、判断经步骤六化简后的Petri整体模型是否有界，若有界则建立相应的可达图。
全文摘要
本发明涉及一种基于带抑制弧的Petri网模拟HB系统状态转换的方法，包括如下步骤步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块；步骤二、分别确定各个模块的库所、变迁及初始令牌的分布情况；步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接，分别形成每个模块的对应Petri子模型；步骤四、根据三个模块之间关系，用有向弧或抑制弧将所述Petri子模型连接成一个Petri整体模型；步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。本发明可以显示HB系统的实时状态，让运维人员即时了解HB系统状态转换的处理进度和健康程度，并加以适当控制。
文档编号H04M15/00GK102164040SQ201110040388
公开日2011年8月24日 申请日期2011年2月17日 优先权日2011年2月17日
发明者乐晓波, 周发军, 安凤梅, 杨海, 汪东升, 罗帅 申请人:深圳天源迪科信息技术股份有限公司