Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal. A Path-based Equivalence Checking Method for Petri Net based Models of Programs. In Pascal Lorenz, Leszek A. Maciaszek, editors, ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015. pages 319-329, SciTePress, 2015. [doi]
Abstract is missing.