| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-21页 |
| ·混杂系统定义及其特点 | 第10-12页 |
| ·混杂系统的主要研究课题 | 第12-14页 |
| ·混杂PETRI网模型研究内容与现状概述 | 第14-19页 |
| ·混杂Petri网模型 | 第14-16页 |
| ·混杂Petri网在混杂系统中的应用 | 第16-17页 |
| ·混杂Petri网模型分析技术 | 第17-18页 |
| ·混杂Petri网模型其他问题的研究 | 第18-19页 |
| ·本论文的主要研究内容 | 第19-21页 |
| 第二章 区间速率连续PETRI网模型 | 第21-35页 |
| ·引言 | 第21-22页 |
| ·区间速率连续PETRI网 | 第22-27页 |
| ·时间Petri网的连续模型 | 第22-25页 |
| ·区间速率连续Petri网的形式化定义 | 第25-26页 |
| ·使能与引发规则 | 第26-27页 |
| ·区间速率连续PETRI网的瞬时引发速率及行为演变算法 | 第27-30页 |
| ·区间速率连续Petri网的瞬时引发速率集 | 第27-28页 |
| ·标识等价类划分及其应用 | 第28-29页 |
| ·区间速率连续Petri网的行为演变算法 | 第29-30页 |
| ·区间速率连续PETRI网行为演变的混杂自动机模型 | 第30-34页 |
| ·混杂自动机 | 第30-31页 |
| ·行为演变的混杂自动机模型构造算法 | 第31-32页 |
| ·应用举例 | 第32-34页 |
| ·结束语 | 第34-35页 |
| 第三章 区间速率连续PETRI网的模型分析技术 | 第35-53页 |
| ·引言 | 第35-36页 |
| ·区间速率连续PETRI网的有效冲突 | 第36-38页 |
| ·最大引发模式下的ICPN有效冲突及消解 | 第38-42页 |
| ·区间速率连续PETRI网可达稳态必要性分析 | 第42-46页 |
| ·问题的提出 | 第42-44页 |
| ·必要性的有效分析方法 | 第44-46页 |
| ·连续加权环的可达稳态分析 | 第46-48页 |
| ·应用举例 | 第48-50页 |
| ·结束语 | 第50-53页 |
| 第四章 混杂PETRI网模型行为演变研究 | 第53-67页 |
| ·引言 | 第53-54页 |
| ·混杂PETRI网的形式化定义 | 第54-55页 |
| ·瞬时引发速率的求解 | 第55-56页 |
| ·迁移优先权的模糊综合评价模型 | 第56-58页 |
| ·改变IB状态事件的确定 | 第58-62页 |
| ·混杂PETRI网模型行为演变流程 | 第62-63页 |
| ·举例分析 | 第63-65页 |
| ·结束语 | 第65-67页 |
| 第五章 基于演变图的混杂PETRI网可达性分析方法 | 第67-79页 |
| ·引言 | 第67-68页 |
| ·行为演变类型的划分 | 第68页 |
| ·可达性判定定理及算法 | 第68-74页 |
| ·举例分析 | 第74-76页 |
| ·结束语 | 第76-79页 |
| 第六章 生产时间可变的多产品间歇过程的P-时间PETRI网模型及其调度研究 | 第79-93页 |
| ·引言 | 第79-80页 |
| ·间歇过程的P-时间PETRI网描述 | 第80-81页 |
| ·基于P-时间PETRI网的间歇过程调度 | 第81-88页 |
| ·间歇过程的可调度分析 | 第81-82页 |
| ·间歇过程最短生产时间的最优调度算法 | 第82-88页 |
| ·仿真算例 | 第88-91页 |
| ·结束语 | 第91-93页 |
| 第七章 基于广义混杂PETRI网的混杂系统建模与优化 | 第93-107页 |
| ·引言 | 第93-94页 |
| ·广义混杂PETRI网模型 | 第94-97页 |
| ·形式化定义 | 第94页 |
| ·离散迁移的使能与引发语义 | 第94-95页 |
| ·连续迁移的使能与引发语义 | 第95-96页 |
| ·讨论 | 第96-97页 |
| ·瞬时引发速率及行为演变 | 第97-101页 |
| ·广义混杂Petri网的瞬时引发速率集 | 第97-99页 |
| ·模型行为演变分析 | 第99-101页 |
| ·基于广义混杂PETRI网的混杂系统建模与优化 | 第101-105页 |
| ·混杂系统的广义混杂Petri网模型 | 第101-102页 |
| ·基于广义混杂Petri网的混杂系统优化 | 第102-105页 |
| ·结束语 | 第105-107页 |
| 第八章 基于混杂时间PETRI网的混杂生产过程建模与调度 | 第107-121页 |
| ·引言 | 第107-108页 |
| ·混杂时间PETRI网模型 | 第108-109页 |
| ·混杂生产过程的调度问题及其HTPN模型 | 第109-113页 |
| ·混杂生产过程及其调度问题 | 第109-110页 |
| ·混杂生产过程的HTPN模型 | 第110-112页 |
| ·混杂生产过程调度问题的描述 | 第112-113页 |
| ·混杂生产过程的调度算法 | 第113-118页 |
| ·HTPN迁移及引发速率的决策模型 | 第113-115页 |
| ·调度算法 | 第115-118页 |
| ·举例分析 | 第118页 |
| ·结束语 | 第118-121页 |
| 第九章 流体随机PETRI网的一阶混杂PETRI网模型 | 第121-129页 |
| ·引言 | 第121-122页 |
| ·流体随机PETRI网和一阶混杂PETRI网的形式化定义 | 第122-123页 |
| ·FSPN的一阶混杂PETRI网形式化转换方法 | 第123-125页 |
| ·实例分析 | 第125-127页 |
| ·结论 | 第127-129页 |
| 第十章 结论 | 第129-131页 |
| 致谢 | 第131-133页 |
| 参考文献 | 第133-141页 |
| 研究成果 | 第141-143页 |
