| 中文摘要 | 第10-12页 |
| ABSTRACT | 第12-13页 |
| 第一章 绪论 | 第14-31页 |
| 1.1 研究背景 | 第15-18页 |
| 1.2 国内外研究现状 | 第18-19页 |
| 1.3 研究目的和意义 | 第19-20页 |
| 1.4 基础知识 | 第20-29页 |
| 1.4.1 Petri网的发展历程 | 第20-22页 |
| 1.4.2 Petri语义网的基本观点 | 第22-26页 |
| 1.4.3 Petri语用网理论形成的动因 | 第26-28页 |
| 1.4.4 Petri语用网的基本观点 | 第28-29页 |
| 1.5 创新之处 | 第29-31页 |
| 第二章 Petri语用网的计算机理论基础 | 第31-58页 |
| 2.1 网络服务与网格 | 第32-34页 |
| 2.1.1 网络服务的基本特征 | 第32-34页 |
| 2.1.2 网格网络的基本作用 | 第34页 |
| 2.2 分布式系统 | 第34-50页 |
| 2.2.1 分布式系统的基本内涵 | 第34-35页 |
| 2.2.2 分布式系统的核心特征 | 第35-40页 |
| 2.2.3 分布式系统的挑战 | 第40-47页 |
| 2.2.4 网格：新型分布式系统 | 第47-50页 |
| 2.3 Petri语用网的价值 | 第50-58页 |
| 2.3.1 COM之殇：数据抽象向过程抽象的演化 | 第50-54页 |
| 2.3.2 Petri网网络服务的系统化和模块化 | 第54-58页 |
| 第三章 Petri语用网的语言学基础 | 第58-95页 |
| 3.1 Petri网网论的形式语用学分析 | 第58-81页 |
| 3.1.1 Petri网网论的形式化表征 | 第59-63页 |
| 3.1.2 计算机系统中形式语用学的内涵 | 第63-72页 |
| 3.1.3 语用学形式化发展的核心特征 | 第72-81页 |
| 3.2 并行程序表征的语义学研究 | 第81-95页 |
| 3.2.1 并行程序表征问题产生的原因 | 第81-85页 |
| 3.2.2 并行程序表征方式的特征 | 第85-91页 |
| 3.2.3 并行程序表征的语义发展趋势 | 第91-95页 |
| 第四章 Petri语用网的复杂性演化 | 第95-104页 |
| 4.1 Petri网模型构建基础：相关关系 | 第95-97页 |
| 4.2 Petri网并行程序设计中的语境依赖性 | 第97-102页 |
| 4.2.1 从事务的全局状态到局部状态 | 第98-100页 |
| 4.2.2 从单个独立事务到过程型事务 | 第100-102页 |
| 4.3 Web 3.0：Petri网带来的社会化网络时代 | 第102-104页 |
| 第五章 不确定性与Petri网计算模型思维的变革 | 第104-116页 |
| 5.1 计算机模型的确定性之殇 | 第104-107页 |
| 5.1.1 计算机模型的类型及其确定性基础 | 第104-106页 |
| 5.1.2 确定性计算机模型的症结 | 第106-107页 |
| 5.2 不确定性对计算机模型思想的挑战 | 第107-111页 |
| 5.2.1 确定性世界观对不确定性理论的影响 | 第107-109页 |
| 5.2.2 不确定性计算机模型面临的挑战 | 第109-111页 |
| 5.3 大数据预设下不确定性对计算机模型思想变革的意义 | 第111-115页 |
| 5.3.1 不确定性问题对计算机模型思想中经验性的挑战 | 第111-112页 |
| 5.3.2 计算机模型思想变革的核心：非结构化数据 | 第112-113页 |
| 5.3.3 计算机模型思想变革的趋势：新的不确定性问题 | 第113-115页 |
| 5.4 Petri网计算模型的语用特性 | 第115-116页 |
| 第六章 Petri网与语用网的协同发展 | 第116-133页 |
| 6.1 Petri网网论分析 | 第116-118页 |
| 6.2 Petri网从语义到语用发展的必然趋势 | 第118-127页 |
| 6.2.1 Petri语用网的结构主义基底 | 第118-121页 |
| 6.2.2 Petri语用网的分布式特征 | 第121-127页 |
| 6.3 复杂性科学视角下的Petri语用网分析 | 第127-133页 |
| 6.3.1 语用抽象系统的形式化带来的复杂性问题 | 第128-129页 |
| 6.3.2 语用主体边界的模糊性带来的复杂性问题 | 第129-130页 |
| 6.3.3 作为一种自组织系统的Petri语用网 | 第130-133页 |
| 结语 | 第133-135页 |
| 参考文献 | 第135-140页 |
| 攻读学位期间取得的研究成果 | 第140-141页 |
| 致谢 | 第141-142页 |
| 个人简况及联系方式 | 第142-144页 |
