论文部分内容阅读
System C作为一种系统级描述语言能够同时描述硬件和软件，但缺乏形式化分析的手段。针对其存在的问题，提出引入Petri网的设想，通过分析了System C程序本身的结构特点，指出其主要由顺序、分支、循环以及并发等结构组成，并分别给出与Petri网的对应关系。同时提出了由System C程序到时间Petri网的转换方法。使用Petri网的工具对并发程序进行分析，将System C程序转换成时间Petri网，为基于SystemC的系统设计提供形式化的分析方法。并应用Petri网的可达图检测出原System