To describe the implicit data and the implicit control in program code, CNets, one extension of Petri nets, is applied. By data view nets and control view nets, data and control of the program code are modeled. Based on the CNets specification, interactions between data flow and control flow, relations among data, operations, and resources are also captured respectively. Meanwhile, mapping rules from CNets specification to Petri nets are presented. According to the rules, from CNets specification, properties of the program are analysized through Petri nets techniques without a running a program.