Equivalence between PN and TS

• PN = TS iff reachability graph is isomorphic to TS

Previous slide

Next slide

Back to first slide

View graphic version