Bei einem großen Netz kann es sein, daß es unmöglich ist, den
gesamten Zustandsgraphen zu berechnen. Um diesen zu verkleinern,
können Sie das Netz schrittweise reduzieren. Ein Reduktionsschritt
besteht dabei im Ersetzen eines Unternetzes durch ein anderes
Unternetz (im allgemeinen mit weniger Plätzen) in der Weise, daß
die Netzeigenschaften Lebendigkeit, Nicht-Lebendigkeit, Beschränktheit
und Unbeschränktheit erhalten bleiben.
