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]

Possibly Related Publications

The following publications are possibly variants of this publication: