An efficient path based equivalence checking for Petri net based models of programs

Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal. An efficient path based equivalence checking for Petri net based models of programs. In Santonu Sarkar, Ashish Sureka, Domenico Cotroneo, Nishant Sinha, Vibha Singhal Sinha, Radhika Venkatasubramanyam, Padmaja Joshi, R. D. Naik, Pushpendra Singh, JayPrakash Lalchandani, editors, Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016. pages 70-79, ACM, 2016. [doi]

Abstract

Abstract is missing.