Reductions
iterated coequalisers
of a set of morphism pairs
maximal reduction has universal properties
compute on single transition nets only
variations in
similarity
neighbourhood
choice
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen