SM reduction and cover

• Choose one predecessor for each transition:

• The set of all reductions yields a cover of SM components (S-invariants)

Previous slide

Next slide

Back to first slide

View graphic version