并发系统综合的PN行为理论及其应用
| ABSTRACT | 第1-7页 |
| 第一章 综述 | 第7-20页 |
| ·并发系统 | 第7页 |
| ·Petri网 | 第7-9页 |
| ·CSP(通信顺序过程)与CCS(通信演算系统) | 第9-11页 |
| ·迹语言和偏序语言 | 第11-12页 |
| ·PN机 | 第12-14页 |
| 参考文献 | 第14-20页 |
| 第二章 基本知识 | 第20-27页 |
| ·文法与自动机 | 第20-21页 |
| ·网论 | 第21-26页 |
| 参考文献 | 第26-27页 |
| 第三章 PN综合的偏序行为特性 | 第27-41页 |
| ·引言 | 第27页 |
| ·同步合成 PN的进程语言公式 | 第27-33页 |
| ·Petri网的进程语义性质 | 第33-38页 |
| ·结语 | 第38页 |
| 参考文献 | 第38-41页 |
| 第四章 PN综合的顺序行为特性 | 第41-62页 |
| ·广义混杂PN机 | 第41-47页 |
| ·三种连接运算 | 第47-49页 |
| ·连接操作的语言关系 | 第49-56页 |
| ·连接操作的行为不变性 | 第56-57页 |
| ·一个传动系统的行为分析 | 第57-60页 |
| 参考文献 | 第60-62页 |
| 第五章 Petri网的完全行为不变性及其应用 | 第62-73页 |
| ·引言 | 第62页 |
| ·预备知识 | 第62-63页 |
| ·完全行为不变性和完全状态不变性 | 第63-67页 |
| ·完全不变性在活性与公平性保持中的作用 | 第67-71页 |
| ·结语 | 第71页 |
| 参考文献 | 第71-73页 |
| 第六章 基于Petri网的并行程序验证 | 第73-87页 |
| ·引言 | 第73-74页 |
| ·验证模型 | 第74-83页 |
| ·基于子进程的Petri模型 | 第74-75页 |
| ·建模方法 | 第75-79页 |
| ·验证方法 | 第79-83页 |
| ·举例 | 第83-85页 |
| ·结语 | 第85-86页 |
| 参考文献 | 第86-87页 |
| 第七章 多资源共享系统的死锁检测 | 第87-96页 |
| ·引言 | 第87页 |
| ·引例及共享系统的形式化定义 | 第87-90页 |
| ·共享系统的性质 | 第90-93页 |
| ·共享系统的死锁控制 | 第93-94页 |
| ·结语 | 第94页 |
| 参考文献 | 第94-96页 |
| 第八章 基于Petri的并发系统控制器设计 | 第96-105页 |
| ·引言 | 第96页 |
| ·控制综合算法 | 第96-98页 |
| ·三类异常现象的处理 | 第98-103页 |
| ·死锁现象 | 第98-100页 |
| ·溢出现象 | 第100-102页 |
| ·行为异变现象 | 第102-103页 |
| ·结语 | 第103页 |
| 参考文献 | 第103-105页 |
| 附录 PVM程序验证系统简介 | 第105-109页 |
| 致谢 | 第109-110页 |
| 博士生期间发表的学术论文，专著 | 第110-111页 |
| 博士后期间发表的学术论文，专著 | 第111-112页 |
| 个人简历 | 第112页 |
| 永久通信地址 | 第112页 |
