1.1 引言

1.2 Petri网研究现状

第1章 绪论

1.2.1 Petri网理论研究

1.2.2 Petri网应用研究

1.2.3 Petri网工具研制

1.3 CSP与CCS

1.4 迹语言与偏序语言

1.5 PN机

1.6 内容安排

参考文献

2.1 Petri网基本概念

第2章 基本知识

2.2 Petri网基本分析技术

2.3 Petri网基本性质

2.4 Petri网的进程

2.5 Petri网的合成

参考文献

第3章 Petri网的顺序行为关系

3.1 引言

3.2 基于Petri网语言的活性刻划

3.3 活性控制

3.4 连接操作的语言关系

3.5 连接操作的行为不变性

3.6 应用

3.7 本章小结

参考文献

第4章 Petri网的偏序行为关系

4.1 引言

4.2 同步合成PN的进程语言公式

4.3 Petri网的进程语义性质

4.4 本章小结

参考文献

5.1 引言

5.2 动态不变性

第5章 Petri网的动态不变性

5.3 一个柔性装配单元的分析

5.4 本章小结

参考文献

第6章 Petri网的行为相关性

6.1 引言

6.2 行为相关性

6.3 行为相关性分析

6.4 应用

6.5 本章小结

参考文献

7.2 发射序列测试

7.1 引言

第7章 Petri网顺序序列的测试与判定

7.3 合法发射序列的判定

7.3.1 算法基础

7.3.2 判定算法

7.3.3 算法复杂性

7.3.4 例子

7.4 测试算法及其复杂性

7.5 一个实际系统的分析

7.6 本章小结

参考文献

8.2 控制器综合算法

8.1 引言

第8章 并发控制器设计的Petri网方法

8.3 三类异常现象的处理

8.3.1 死锁现象

8.3.2 溢出现象

8.3.3 行为异变现象

8.4 本章小结

参考文献

第9章 并发程序验证Petri网方法

9.1 引言

9.2 同步合成运算的概念及性质

9.3 Ada程序的Petri网模型

9.4 Ada网的同步合成运算及其可达图求解

9.5.1 Ada程序的安全性

9.5 基于Petri网语言的Ada程序分析

9.5.2 活性

9.6 PVM程序的Petri网模型

9.7 PVM程序到Petri网模型的转换

9.8 PVM程序验证算法

9.9 举例说明

9.10 本章小结

参考文献

第10章 并发验证系统的原理与实现

10.1 引言

10.2.1 SFC简介

10.2 SFC与Petri网的对应关系

10.2.2 SFC与Petri网的对应关系

10.3 系统模型及主要算法

10.3.1 SFC到Petri的自动转化

10.3.2 验证算法

10.4 系统开发环境及实验情况

10.5 系统实现的若干关键技术

10.5.1 安全Petri网及其可视化运行的图形表示

10.5.2 可视化运行的设计

10.5.3 系统中操作向导的设计与实现

参考文献