| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 背景知识和文献综述 | 第8-42页 |
| ·工作流和Petri 网 | 第9-15页 |
| ·工作流基本概念 | 第9-11页 |
| ·对象过程方法论 | 第11页 |
| ·Petri Nets（PTNet） | 第11-13页 |
| ·Coloured Petri Nets（CPNet） | 第13-15页 |
| ·可计算性和编译原理 | 第15-17页 |
| ·形式语言与自动机理论 | 第15-17页 |
| ·编译原理与技术相关概念 | 第17页 |
| ·数据与操作 | 第17-27页 |
| ·朴素集合论 | 第17-18页 |
| ·命题逻辑和一阶谓词逻辑 | 第18页 |
| ·Many-Sorted Logic 和Modelclass | 第18-23页 |
| ·实体关系模型，关系代数和SQL 语言 | 第23-25页 |
| ·关系型数据库工具介绍 | 第25-26页 |
| ·嵌入式计算内核介绍 | 第26-27页 |
| ·分布式计算框架 | 第27-34页 |
| ·分布式计算概念 | 第27-28页 |
| ·计算网格 | 第28-29页 |
| ·云计算 | 第29-32页 |
| ·其他开源分布式计算框架 | 第32-34页 |
| ·分布式调度算法 | 第34-40页 |
| ·分布式计算任务模型 | 第34-36页 |
| ·简单任务分配模型 | 第36-37页 |
| ·生产线调度规划 | 第37-40页 |
| ·本章小结 | 第40-42页 |
| 第2章 EPNet 计算模型 | 第42-54页 |
| ·执行逻辑抽象描述 | 第42-48页 |
| ·EPNet 元组模型 | 第48-50页 |
| ·状态和基本行为特征 | 第50-54页 |
| 第3章 EPNet 运行时环境设计 | 第54-92页 |
| ·远程计算节点设计 | 第55-71页 |
| ·JSON 序列化描述 | 第57-59页 |
| ·基于关系型数据库的Entity 远程加载和访问实例实现 | 第59-62页 |
| ·Process 执行实例的实现 | 第62-64页 |
| ·基于Java 多线程的Process 并发执行 | 第64页 |
| ·TCP 端口命令 | 第64-65页 |
| ·远程计算节点程序架构图 | 第65页 |
| ·单节点性能测试 | 第65-68页 |
| ·Name Server 注册机制 | 第68-69页 |
| ·软件使用介绍 | 第69-71页 |
| ·分布式执行机制和调度器设计 | 第71-92页 |
| ·EPNet 的分布式运行机制 | 第71-77页 |
| ·远程计算节点管理 | 第77-78页 |
| ·基于Java 的EPNet 描述，和分布式部署的实现 | 第78-79页 |
| ·动态负载平衡实现 | 第79页 |
| ·分布式运行实例 | 第79页 |
| ·性能测试 | 第79-92页 |
| 第4章 EPNet 示例模型和算例执行结果验证 | 第92-111页 |
| ·基本控制流模式 | 第92-94页 |
| ·串行（因果关系）模式（Sequence） | 第92页 |
| ·并行分支模式（Parallel Split） | 第92-93页 |
| ·同步模式（Synchronization） | 第93页 |
| ·选择模式（Choice） | 第93-94页 |
| ·合并模式（Simple Merge） | 第94页 |
| ·离散时间马氏链（DTMC）算例 | 第94-98页 |
| ·异步串行生产系统仿真算例 | 第98-111页 |
| ·EPNet 模型建立 | 第98-105页 |
| ·两工作台系统算例 | 第105-108页 |
| ·多工作台串行系统算例 | 第108-109页 |
| ·本章小结 | 第109-111页 |
| 第5章 总结和展望 | 第111-114页 |
| 参考文献 | 第114-119页 |
| 致谢 | 第119-120页 |
| 附录1 编译原理与技术相关概念 | 第120-125页 |
| 附录 2 模等价类定义 | 第125-130页 |
| 附录 3 远程计算节点端口命令 | 第130-137页 |
| 附录 4 基于 Java 的 EPNet 元素描述 | 第137-140页 |
| 附录 5 EPNet 分布式运行实例 | 第140-145页 |
| 附录 6 一阶谓词逻辑 | 第145-148页 |
| 附录 7 PTNet 的形式化描述 | 第148-150页 |
| 附录 8 CPNet 的形式化定义和执行性质 | 第150-153页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第153页 |
