Abstract: 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.

Key words: Petri nets,CNet,Formal method,Automatic modeling