基于Petri网和systemC的SoC系统描述

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷，将Petri网与systemC相结合来进行系统级建模。通过分析Petri网和systemC的相似点，建立Petri网和systemC的映射关系，以便于将Petri网描述的系统模型转化为systemC代码。同时，使用层次建模的方法防止状态爆炸。通过以上方式建立系统级模型，描述片上系统（SoC）嵌入式系统软硬件状态，作为可执行的系统级描述。

SoC system-level specification based on PetriNet and systemC

An approach that utilizes Petri net and systemC language to establish system-level executable module was described. It can overcome the shortages that Petri net is short of information and systemC is not represented by graph. The comparability of the Petri Net and systemC was analyzed so as to transform Petri net to systemC simply. At the same time, hierarchical analytical method was adopted to avoid states blast. The system-level executable module was used to describe the states of software and hardware, as the golden modeling of the embedded SoC system.