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.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997