Modeling And Analysis Of Embedded Systems Based On Extended Colored Petri Nets

In recent years, the embedded system application demand continues to grow, which leadto the increasing complexity of the embedded systems, the increasing scale, and more andmore uncertainty of the system. New challenges to the developers has come. The traditionalembedded systems design method has been unable to meet the design demand at the presentstage, therefore, the method based on high-level modeling and analyzing has become a hot inthe research of embedded systems.Petri net is especially suitable for describing the system sequence, concurrent, conflictand synchronization phenomenon. As a kind of system description tool, static structure ofPetri net can not only depict the system, but also can analyze the dynamic behavior of thesystem. Petri net is an intuitive graphical representation, but also has the profoundconnotation of mathematics and the foundation, the model verification, using manymathematical methods, so Petri net is one of the effective tools of large-scale systemdevelopment form.This paper analyzes and compares several types of system modeling method, combiningthe characteristics of embedded system modeling, analysis of the advantages anddisadvantages of each method, and points out that Petri net in embedded system modelingadvantages. Based on the general Petri net on an extension of the Petri net–extended coloredPetri net mesh is suitable for embedded system modeling, on the basis of this method anddiscusses the design process of embedded system. And then study the model verificationmethod to extend Petri net, discusses a method of simulation analysis and hardware logiccircuit based on. Finally, a traffic signal control system is modeled as an example, and thesimulation results are analyzed in detail, and proves the feasibility of the method.