基于Petri网的嵌入式系统高层级设计方法与技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第一章绪论 | 第10-15页 |
| ·研究背景意义 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·本文研究内容与总体安排 | 第13-15页 |
| 第二章 嵌入式系统设计方法 | 第15-27页 |
| ·引言 | 第15-16页 |
| ·设计过程 | 第16-19页 |
| ·常用高层级设计方法分析比较 | 第19-25页 |
| ·小结 | 第25-27页 |
| 第三章 嵌入式系统 Petri网建模方法 | 第27-56页 |
| ·引言 | 第27-28页 |
| ·PN基本理论 | 第28-33页 |
| ·计时双流 Petri网 | 第33-47页 |
| ·TDPN的面向对象扩展 | 第47-53页 |
| ·开放网增强模型交互能力 | 第53-55页 |
| ·小结 | 第55-56页 |
| 第四章 模型分析验证技术研究 | 第56-74页 |
| ·引言 | 第56页 |
| ·Petri网仿真分析技术 | 第56-67页 |
| ·实例仿真分析 | 第67-69页 |
| ·模型检测验证技术 | 第69-72页 |
| ·小结 | 第72-74页 |
| 第五章 嵌入式系统设计流程 | 第74-79页 |
| ·引言 | 第74页 |
| ·设计流程 | 第74-78页 |
| ·小结 | 第78-79页 |
| 第六章 应用系统的设计举例 | 第79-94页 |
| ·引言 | 第79页 |
| ·嵌入式IDS设计建模 | 第79-84页 |
| ·电梯控制系统设计示例 | 第84-91页 |
| ·设计模型评述 | 第91-93页 |
| ·小结 | 第93-94页 |
| 第七章 结束语 | 第94-96页 |
| 致谢 | 第96-97页 |
| 参考文献 | 第97-105页 |
| 博士期间参加的课题与发表的学术论文 | 第105页 |
