A Path-based Equivalence Checking Method for Petri Net based Models of Programs.

Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal

Browse the full ICSoft paper archive.