A Review Paper on Colored Petri Nets and their Application in Protocol Verification Journal title: International Journal of Research in Computer and Communication Technology Authors: RichaAgarwal, Ashish Jain Subject(s): Computer and Information Science, Telecommunications