基于增广着色Petri网的嵌入式系统建模方法研究

发布时间：2018-01-02 20:31

本文关键词：基于增广着色Petri网的嵌入式系统建模方法研究　出处：《西华大学》2013年硕士论文　论文类型：学位论文

【摘要】：近些年来，人们对于嵌入式系统的应用需求不断增长，使得嵌入式系统的复杂性不断增加，规模不断增大，系统的不确定性越发明显，这些原因都给开发人员带来了新的挑战。传统的嵌入式系统设计方法已经无法满足现阶段的设计要求，利用高层建模方法对系统进行分析，然后在此基础上进行后期设计成为了嵌入式系统研究的热点。 Petri网特别适合描述系统顺序、并发、冲突以及同步等现象。作为一种系统的描述工具，Petri网不仅可以刻画系统的静态结构，而且可以分析系统的动态行为。Petri网既有直观的图形表示，又有深刻的数学内涵和基础，可以利用许多数学的方法对模型验证，所以，Petri网是形式化大型系统开发的有效工具之一。本文对几种类型的系统建模方法进行了分析和比较，，结合嵌入式系统建模的特点，分析了每种方法的优点和缺点，指出了Petri网在嵌入式系统建模中的优势。在一般Petri网的基础上研究了一种适合嵌入式系统建模的扩展Petri网——增广着色Petri网，在该方法的基础上讨论了一般嵌入式系统的设计流程。然后研究了扩展Petri网的模型验证方法，讨论了一种基于硬件逻辑电路的仿真分析方法。最后以一个交通信号控制系统为实例进行了建模，并对仿真结果进行了具体的分析，证明了这种方法的可行性。
[Abstract]:In recent years, the demand for embedded system application is increasing, which makes the complexity and scale of embedded system increase, and the uncertainty of embedded system becomes more and more obvious. These reasons have brought new challenges to developers. The traditional embedded system design method has been unable to meet the design requirements of the current stage, the use of high-level modeling method to analyze the system. On this basis, the later design has become the focus of embedded system research. Petri nets are especially suitable to describe system order, concurrency, conflict and synchronization. As a system description tool, Petri nets can not only describe the static structure of the system. And can analyze the dynamic behavior of the system. Petri net not only intuitive graphical representation, but also profound mathematical connotation and foundation, can use many mathematical methods to verify the model, so. Petri net is one of the effective tools for formalizing large-scale system development. In this paper, several kinds of system modeling methods are analyzed and compared. Combined with the characteristics of embedded system modeling, the advantages and disadvantages of each method are analyzed. The advantage of Petri net in embedded system modeling is pointed out. Based on general Petri net, an extended Petri net-augmented colored Petri net for embedded system modeling is studied. . On the basis of this method, the design flow of general embedded system is discussed, and then the model verification method of extended Petri net is studied. A simulation analysis method based on hardware logic circuit is discussed. Finally, a traffic signal control system is modeled, and the simulation results are analyzed in detail, which proves the feasibility of this method.
【学位授予单位】：西华大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP301.1;N945.12

【参考文献】