[发明专利]出帐系统的Petri网模型的分析方法

说明书

技术领域

本发明涉及电信技术领域，特别涉及一种出帐系统的Petri网模型的分析方法。

背景技术

电信计费是电信经营的核心，也是提升电信在市场中的竞争地位的主导因素。随着竞争的增强及电信技术的不断发展，电信业务的不断更新和增长，对计费系统的要求越来越高。数据处理又是计费系统最核心的处理功能，是对计费原始数据结合客户数据和产品数据进行预处理、批价、出帐、帐单加载、数据中间层生成的处理过程。

出帐系统数据处理是计费系统数据处理的第三个阶段，出帐系统数据处理是以客户为中心，将每个客户所属的所有产品实例的计费事件费用和周期费用等进行合并生成明细帐目，然后进行再次优惠处理，并按照客户在订购合同中的约定分配到指定的帐户同时生成面向客户的综合帐单的过程。出帐系统数据处理过程主要包括：周期性费用计算、帐务优惠、生成综合帐单、统计数据生成、帐务稽核及异常处理、帐单加载等过程。出帐系统数据处理的主要功能为：帐务资料的准备、帐务费用准备、周期性费用计算、帐务优惠处理、补退费处理、综合帐单生成、帐单加载。随着业务的不断更新及其业务发展的需求，出帐系统的优化显得越来越重要，需要不断提高分析出帐系统性能的能力，采用好的分析方法能够起到事半功倍的分析效果。

Petri网是一种可用图形表示的组合模型，具有直观、易懂和易用的优点，对描述和分析并发现象有独到优越之处。同时，Petri网又是严格定义的数学对象，借助于数学开发的Petri网分析方法和技术即可用于静态的结构分析，又可用于动态的行为分析。基于Petri网的建模技术可用于模拟带有并发性、异步性、分布式、非确定性、并行性等特性的系统，因此，Petri网模型被引用到出帐系统数据处理中。

但是，出帐系统中，准备出帐时，要经过帐前检查，而帐前检查涉及到新帐期表检查、出帐环境检查、用户资料检查、当月话单处理情况、错单回收等。进入出帐状态，要通过确认资料，资料确认通过后，再进行计算周期性费用，周期性费用计算成功后，再进行帐务优惠，然后进行帐务稽核，由此可知，Petri网模拟出帐系统得到的Petri网模型的节点(库所和变迁)会很多。Petri网模型在实际应用中的一个主要困难是Petri网系统节点太多即存在状态空间爆炸的问题，针对这一问题，国内外很多学者对Petri网化简技术进行了研究，但目前这方面还停留在理论研究的水平上，将化简规则理论转换成实践应用，才能使其具有更大的实用价值。

此外，可达图是有界Petri网的一种很好的分析工具，使用可达图可以有效的分析有界Petri网的活性、有界性、安全性等特性。Petri网的活性可以确定所模拟的系统是否存在死锁，判断期待行为能否正常执行。Petri网的有界性反映被模拟系统中对有关资料的容量要求，用来判断是否有溢出现象。安全性是有界性的特例，该特性可明确系统中有无正在执行的过程或未释放的资源被再次调用。但是，如果模拟出帐系统的Petri网模型为无界Petri网模型时，因为无界Petri网的标识是无限展开的，为了用有限形式表达一个具有无限个状态的系统的运行情况，需要引入一个表达无界量的符号ω，但传统可达图过多的省略了Petri网的结构信息，导致了表达信息的不完备或者信息丢失，这种可达图是不完备可达图，已经证实了对分析无界Petri网的活性和有界性是不充分的。

发明内容

本发明的目的是通过等效变化的化简规则来化简出帐系统的Petri网模型，解决出帐系统的Petri网模型的“状态爆炸”问题。

为实现上述目的，本发明采用的出帐系统的Petri网模型的分析方法包括以下步骤：

步骤一、出帐系统的Petri网模型中的所有库所、变迁及有向弧的信息分别用库所链表、变迁链表及有向弧链表来存储；

步骤二、遍历搜索库所链表或者变迁链表，查找出满足化简规则的库所或者变迁，然后按照化简规则对库所链表、变迁链表及有向弧链表进行增删处理，同时还判断删除的库所中是否有令牌，若有令牌则须按令牌流动方向进行相应的变化，从而得到出帐系统的Petri网模型的化简图。

其中，还包括：步骤三、针对步骤二所得到出帐系统的Petri网模型的化简图，建立准完备可达图。

其中，还包括：步骤四、根据步骤三所得到的准完备可达图，分析出帐系统的Petri网模型的有界性。

其中，还包括：步骤五、根据步骤三所得到的准完备可达图，分析出帐系统的Petri网模型的活性。