基于petri网的嵌入式交通管理系统建模-软件工程专业论文.docxVIP

西华大学硕士学位论文 基于 Petri 网的嵌入式交通管理系统建模 I  PAGE 2 摘 要 如今，嵌入式系统由于应用的扩大而变得越来越复杂，设计的重心也由后期转向 了前期。在嵌入式系统开发前期设计出一个更为优秀的系统模型是大家所为追求的目 标。本文正是基于这一点出发开始寻找更好的建模方法，在分析了多种系统的建模方法 后，最终找到了利用 Petri 网对系统进行建模的方法。 Petri 网本身是一种数学工具，能够描述系统的异步和并发。本文对 Petri 网的相关 知识进行了研究。但是一般的 Petri 网模拟能力比较弱，在对系统进行建模时会有诸多 的不便。所以本文在一般的 Petri 网的基础上进行了扩展，并最终提出了增广着色 Petri 网。 在选取建模对象时，本文将目光放在了目前已经成为社会热点的交通问题上。通过 对交通控制系统进行建模，并在后期利用仿真工具验证其正确性。在系统的??计过程中， 使用到了嵌入式系统的开发方法，并依照其开发流程进行。所以，本文也有较大篇幅来 介绍嵌入式系统的开发方法。最后的结果也表明了使用 Petri 网来对嵌入式系统进行建 模是可行的而且是高效的。 关键词：Petri 网，嵌入式系统，仿真，Verilog HDL，交通管理;  Abstract Nowadays，because of further application，the em