Summer Project 2017 @ IIIT Allahabad
Title: Modelling C source code as Colored Petri nets (CPN) takes in C source code as input and outputs CPN as following: dot file, svg file, xml file.
Packages Requirements: pycparser, graphviz
Contributors: Nikita Agarwal, Prachi Maurya