文摘
英文文摘
声明
第一章 绪论
1.1 研究背景
1.2 研究现状
1.3 论文主要工作和组织结构
第二章 UML及Petri网简介
2.1 统一建模语言UML及其扩展
2.1.1 UML简介
2.1.2 UML2.0视图介绍
2.1.3 UML建模方法
2.1.4 UML扩展机制
2.1.5 UML顺序图扩展
2.2 Petri网及其扩展
2.2.1 Petri网的基本概念与相关定义
2.2.2 Petri网的动态性质
2.2.3 Petri网的分析方法
2.2.4 时间Petri网基本概念及其性能分析方法
2.3 本章小结
第三章 UML图转换到Petri网的基本方法
3.1 UML用况图到Petri网的转换
3.2 UML顺序图到Petri网的转换
3.3 UML扩展顺序图到Petri网的转换
3.3.1 UML扩展并发顺序图到Petri网的转换
3.3.2 UML扩展同步顺序图到Petri网的转换
3.3.3 UML扩展选择顺序图到Petri网的转换
3.3.4 UML扩展汇合顺序图到Petri网的转换
3.4 UML状态图映射为Petri网模型
3.4.1 UML顺序子状态图到Petri网的转换
3.4.2 UML并发子状态图向Petri网的转换
3.4.3 UML分支判定子状态图向Petri网的转换
3.5 本章小结
第四章 陶瓷纤维生产线实时控制系统建模与分析
4.1 系统概述
4.2 基于UML的系统建模
4.2.1 UML用况图建模
4.2.2 UML扩展顺序图建模
4.2.3 UML状态图建模
4.3 UML模型图转换为Petri网
4.3.1 UML扩展顺序图到Petri网的转换
4.3.2 UML状态图到Petri网的转换
4.4 本章小结
第五章 总结与展望
5.1 本文总结
5.2 下一步工作展望
参考文献
攻读硕士学位期间发表(录用)的论文
致谢