与Petri网融合的电信计费系统任务控制器的设计与实现
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第1章 绪论 | 第9-15页 |
| 1.1 课题来源 | 第9页 |
| 1.2 课题研究背景和意义 | 第9-10页 |
| 1.3 国内外研究现状 | 第10-13页 |
| 1.3.1 计费系统研究现状 | 第10-11页 |
| 1.3.2 Petri网研究现状 | 第11-13页 |
| 1.4 论文主要工作 | 第13-15页 |
| 第2章 Petri网基本原理 | 第15-23页 |
| 2.1 Petri网的基本概念 | 第15-17页 |
| 2.2 网系统分类 | 第17页 |
| 2.3 Petri网的基本性质 | 第17-18页 |
| 2.4 Petri网的分析方法 | 第18-22页 |
| 2.4.1 可达标识图与可覆盖树 | 第19-20页 |
| 2.4.2 关联矩阵 | 第20-21页 |
| 2.4.3 不变量 | 第21-22页 |
| 2.5 本章小结 | 第22-23页 |
| 第3章 计费系统任务控制器的总体设计 | 第23-34页 |
| 3.1 计费系统总体设计 | 第23-25页 |
| 3.2 任务控制器的外围关系 | 第25-27页 |
| 3.3 任务控制器总体设计 | 第27-33页 |
| 3.3.1 任务控制器的流程设计 | 第27-28页 |
| 3.3.2 Petri网总体实现框架 | 第28-29页 |
| 3.3.3 Petri网元素的实例化 | 第29-33页 |
| 3.4 本章小结 | 第33-34页 |
| 第4章 与Petri网融合的任务控制器的实现 | 第34-67页 |
| 4.1 初始化 | 第34-40页 |
| 4.2 任务控制器入队列 | 第40页 |
| 4.3 任务流控制 | 第40-54页 |
| 4.3.1 主队列消息处理 | 第41-43页 |
| 4.3.2 Petri网模型消息处理 | 第43-48页 |
| 4.3.3 定时消息 | 第48-54页 |
| 4.4 任务控制器中的Petri网模型 | 第54-66页 |
| 4.4.1 系统监控的Petri网模型 | 第54-63页 |
| 4.4.2 定时执行任务的Petri网模型 | 第63-66页 |
| 4.5 本章小结 | 第66-67页 |
| 第5章 任务控制器模块测试 | 第67-82页 |
| 5.1 Petri网模型测试 | 第67-72页 |
| 5.1.1 定时任务Petri网模型流程测试 | 第67-68页 |
| 5.1.2 系统监控Petri模型消息测试 | 第68-72页 |
| 5.2 服务启停消息测试 | 第72-81页 |
| 5.3 测试结果分析 | 第81页 |
| 5.4 本章小结 | 第81-82页 |
| 第6章 总结与展望 | 第82-85页 |
| 6.1 全文工作总结 | 第82-83页 |
| 6.2 未来工作展望 | 第83-85页 |
| 致谢 | 第85-86页 |
| 参考文献 | 第86-88页 |
