Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets

Philippe Darondeau. Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets. Inf. Process. Lett., 94(6):241-245, 2005. [doi]

Abstract

Abstract is missing.