A congruence for Petri nets (2005)

by V Sassone, P Sobocinski
Venue:In Proceedings of PNGT’04