原文传递
基于Petri网的嵌入式交通管理系统建模
| 论文题名： | 基于Petri网的嵌入式交通管理系统建模 |
| 关键词： | 交通管理系统;嵌入式技术;Petri网;建模方法 |
| 摘要： | 如今,嵌入式系统由于应用的扩大而变得越来越复杂,设计的重心也由后期转向了前期。在嵌入式系统开发前期设计出一个更为优秀的系统模型是大家所为追求的目标。本文正是基于这一点出发开始寻找更好的建模方法,在分析了多种系统的建模方法后,最终找到了利用Petri网对系统进行建模的方法。 Petri网本身是一种数学工具,能够描述系统的异步和并发。本文对Petri网的相关知识进行了研究。但是一般的Petri网模拟能力比较弱,在对系统进行建模时会有诸多的不便。所以本文在一般的Petri网的基础上进行了扩展,并最终提出了增广着色Petri网。 在选取建模对象时,本文将目光放在了目前已经成为社会热点的交通问题上。通过对交通控制系统进行建模,并在后期利用仿真工具验证其正确性。在系统的设计过程中,使用到了嵌入式系统的开发方法,并依照其开发流程进行。所以,本文也有较大篇幅来介绍嵌入式系统的开发方法。最后的结果也表明了使用Petri网来对嵌入式系统进行建模是可行的而且是高效的。 |
| 作者： | 崔杰 |
| 专业： | 软件工程 |
| 导师： | 宋文 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西华大学 |
| 学位年度： | 2013 |
| 正文语种： | 中文 |
检索历史
应用推荐
