A Graph Theoretic Approach: Petri Net