%0 Journal Article
%T CCNete: An Automatic Modeling Tool Based on Petri Nets for C Program<br>CCNeter : C程序代码Petri网自动建模工具
%A ZHOU Guo-fu
%A SUN Yun-qiu
%A CAI Yu
%A <br>周国富
%A 孙韵秋
%A 蔡宇
%J 计算机科学
%D 2011
%I 
%X CCNeter is an automatic modeling tool based on CNet, an extension of Petri nets. CCNeter respectively describes data, operations and control from a sourece code. Accordingly, on Petri nets specification the relationship among data,operation and control can be discovered. Through capturing the dependency relations among source files,functions and variables of C project,CCNeter automatically creates CNet specification for C program,then draws and lays out the specification. CCNeter is an important precondition task of static analysis of program code.
%K Petri nets
%K CNet
%K Formal method
%K Automatic modeling<br>Petri网，CNet，形式化技术，自动建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4DA9D190D1B6BAA22E393A411A259A90&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=94C357A881DFC066&sid=6700D0D256586E73&eid=74011071555EB4E5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=24