随着3G通信的稳定发展和4G网络的出现,运营商之间的竞争越来越激烈,对计费系统的要求也越来越高,在线计费系统是运营商主推的当下较为流行的系统,它解决了传统计费方式高欠费风险、无法快速响应新业务的问题。然而计费系统涉及到庞大的业务,需要由众多服务来分类处理,如何对服务实现统一控制并建立一个统一的消息处理机制以实现各服务之间的通信是关键。Petri网是一种有着严密的数学基础、清晰的界面展示以及强大的可执行分析能力的理论,是实现流程控制的一种有力工具。本文结合Petri网理论技术,设计实现了一种任务控制器,它接收所有服务发来的消息,对消息进行分类处理,在各服务之间起着交通枢纽的作用,同时通过用Petri网技术对系统业务建立各种模型,让各服务之间能通过模型建立业务上的联系又降低了服务间的耦合。本文主要内容如下:(1)论文介绍了Petri网的基本理论,包括网系统概念、性质和分析方法,给创建和验证Petri网模型提供了理论依据。(2)介绍了OCS系统的框架流程和任务控制器与其他模块的关系以及其总体实现流程,并对任务控制器中的Petri网功能构建进行了分析,实现了网模型中各元素在计费系统中的实例化应用。(3)实现了任务控制器各部分的功能,详细介绍了其中的Petri网部分以及定时器产生消息部分,并构建了任务控制器中的两类Petri网模型,一种和通用的Petri图一样,有初始化标识和开始库所,主要应用于系统监控,一种则针对业务在传统Petri图上进行了改变,它通过起始变迁产生初始化标识,以定时任务流程为例。接着通过求关联矩阵、不变量和可达标识图对这两类模型的实例做了性质分析。(4)在生产环境中对任务控制器的定时任务Petri网模型和几种消息处理机制进行了测试,验证了任务控制器的Petri网功能的实用性以及对各服务启停等操作的整体掌控。在OCS系统投入商用之后发现,将Petri网融入流程控制中,不仅使系统更加人性化,也为开发维护人员带来了便利,通过Petri网模型可以快速地解决业务处理过程中出现的问题,为后续新业务流程的制定节省了成本。