CCNete: An Automatic Modeling Tool Based on Petri Nets for C Program
CCNeter : C程序代码Petri网自动建模工具

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.