Modeling and Analysis of Embedded Systems based on Extended Colored Petri Nets

Provided by: AICIT
Topic: Hardware
Format: PDF
Complex embedded systems are asked to have real-time, concurrency, high reliability and accuracy, so an effective calculation model is needed to analyze, describe and verify the system. This paper presents a modeling method based on Extended Colored Petri Nets (ECPN) and details the formal definition of ECPN. Meanwhile, setting up a simple traffic signal control system model based on this method and simulating the model by means of VHDL, aimed to resolve the severe fault such as \"Green conflict\" in traffic signal control system. The simulation results proved the feasibility and reliability of modeling method.

Find By Topic