Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets
scientific article; zbMATH DE number 5642347