The Research on Verification Method of Embedded System Model Based on TCPN

Provided by: AICIT
Topic: Hardware
Format: PDF
System model is very key to preliminary design of complex embedded system, model based on Petri net is important one, but the traditional Petri net has some deficiency for modeling, so colored and timed are been introduced to extend it, called TCPN. Firstly, the formal definitions of the timed Petri net, colored Petri nets and Timed Colored Petri Nets (TCPN) are given in this paper; Usually some existing verification tools are only for simulation of some kind of traditional Petri net model, but they are not fit for the extended Petri net model.

Find By Topic