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

　　本书是在作者近几年学习和工作中取得的研究成果的基础上撰写而成，着重论述集系统物理结构与动态行为于一体的PN机理论及其分析方法，反映了这一领域的研究现状和主要成果。全书共分八章，第一章绪论，综述了DEDS的研究现状，论述了本工作的必要性。第二章为预备知识。第三章是PN机理论框架的建立，研究了矢量文法、PN机及其语言关系。第四章至第七章分别研究了PN语言的性质及其在系统建模和行为分析方面的应用。第八章研究了基于行为表达式的系统性能分析方法。本书适合于大专院校、科研单位从事控制科学、计算机科学和系统科学等领域的师生和科技工作者阅读。

暂缺《离散事件动态系统的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本章小结
参考文献