离散事件动态系统的PN机理论

前言
第一章绪论
1.1引言
1.2离散事件动态系统模型
1.3内容的安排
参考文献
第二章基本知识
2.1形式语言自动机理论
2.2Petri网
2.3袋与袋幂集
参考文献
第三章PN机与矢量文法
3.1矢量文法及其分类
3.2丘规矢量文法细分及其与经典文法的关系
3.3混杂PN机
3.4广义混杂PN机
3.5PN机范式及其语言关系
3.6
3.7本章小结
参考文献
第四章PN语言的判型实现与识别器
4.1判别PN语言属型的算法基础
4.2判型算法描述
4.3PN语言的串行识别器算法
4.4PN语言的并行识别器算法
本章小结
参考文献
第五章行为表达式与安全PN机
5.1行为表达式
5.2安全PN机模型的构造
5.3行为表达式到安全PN机转换算法
5.4本章小结
参考文献
第六章PN机的递阶操作
6.1PN机的HT操作
6.2HT操作的行为关系
6.3HT操作的保性研究
6.4PN机的HP操作
6.5HP操作的行为关系
6.6HP操作的保性研究
6.7基于递阶操作的系统建模方法
6.8应用:机械臂抓物系统建模
6.9本章小结
参考艾献
第七章PN机的合成操作
7.1同步合成与共享合成
7.2结构性质
7.3基于PN语言的活性刻画
7.4活性控制
7.5动态不变性
7.6行为相关性
7.7本章小结
参考文献
第八章PN机的性能分析
8.1基于可达图的分析方法
8.2基于矩姆函数的分析方法
8.3基于行为表达式的分析方法
8.4本章小结
参考文献