%0 Journal Article
%T ccneter:c程序代码petri网自动建模工具
%A 周国富
%A 孙韵秋
%A 蔡宇？
%J 计算机科学
%D 2011
%X ccneter是实现扩展的petri网——cnet自动可视化建模的工具，对程序语句从数据、操作和控制3个方面进行描述，刻画了程序代码中数据、操作以及控制之间的关系。它通过解析c工程中文件、函数模块、变量之间的依赖关系，自动形成程序的cnet规范，并根据cnet规范自动进行图形绘制和布局。ccneter是实现程序静态分析自动化的重要前提。
%K petri网
%K cnet
%K 形式化技术
%K 自动建模
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110524&flag=1