PETRI网原理

　　Petri 网是一种适合于描述异步并发现象的计算机系统模型，起源于德国Carl Adam Petri 1962年的博士论文。Petri 网即有严格的形式定义，又有直观的图形表示，即有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。本书是作者多年研究和讲授Petri 网的结果，由上下两篇构成。上篇介绍各种应用模型的定义和分析技术，包括基本网系统，P/T系统，高级网系统和自控系统。下篇为通用网论，并发论，网拓扑，网逻辑和住处流结构。本书以理论为指导，以应用为目标，包含大量实例和图示，适合于计算机系及通信、自控等专业高年级学生和研究生作教材和自学参考书，也可供教师和工程技术人员参考。

暂缺《PETRI网原理》作者简介

上篇  Petri 网系统
第一章  网和网系统
第一节  实例
一、生产流水线
二、救火队
三、救火记录
四、无固定容量的FIFO栈
五、四秀系统
六、不加解释的系统
第二节  基本定义
一、网和网的图形表示
二、网系统
三、网系统分类
四、系统性质
第二章  基本网系统
第一节  定义和变迁规则
第二节  事件间的基本关系
第三节  S_补和T_补
第四节  T_图，S_图和活性定理
第五节  应用
一、哲学家就餐——共享资源的管理
二、并行编译
三、容量还定的先进行出栈
四、错在哪里
第三章  库所/变迁系统
第一节  可达标识集
一、定义和系统性质
二、可达树
三、可达图
第二节  出现序列和变适序列
一、基本定义
二、原子行为及交语义
第三节  进程
一、出现网
二、进程：定义及应用
三、进程块
第四节  不变量
一、关联矩阵
二、S_不变量
三、T_不变量
四、其他结构性质
第五节  层次模拟和抽象
一、层次模拟
二、抽象
第四节  高级网系统
第一节  谓词/变迁系统
一、从库所到谓词
二、定义和变迁规则
三、谓词/变迁系统的行为
第二节  有色网系统
第三节自控网系统  
一、定义和变迁规则
二、不变量
下篇  通用网论
第五章  条件/事件系统
第一节  定义和完全可达关系
第二节  公理和基本现象
第三节  完备化
第六章  同步论
第一节  同步的各种形式
第二节  同步距离
一、S_元素作为观察窗口
二、员步路离定义和性质
第三节  同步距离与系统行为
一、基本集合与同步结构
二、加权同步距离
第四节  同步距离的计算
第五节  同步距离的应用
第七章  网逻辑
第一节  变迁形式分类——网逻辑结构
第二节  事实，例题和推理规则
第三节  网与命题逻辑
第四节  网与一阶谓词逻辑
第五节  网与程式逻辑及职责逻辑
第六节  网与时态逻辑
第八章  信息流结构
第一节  住处流图
第二节  信息流图的网表示
第三节  实例
第九章  网拓扑
第一节  传统拓扑
第二节  网拓扑
第三节  网射
第四节  范畴
第十章  并发论
第十一章  应用
第一节  选题
第二节  系统设计和分析
第三节  知识表示
附录一  C.A.Petri为《Petri 网》一书所写序言原文摘要
附录二  Petri 网术语
参考文献