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]

Authors

Philippe Darondeau

This author has not been identified. Look up 'Philippe Darondeau' in Google