Ziele

Zusammenfassung

Fakten spezifizieren Eigenschaften von Markierungen eines markierten Netzes, die durch das Schalten von Transitionen nicht verletzt werden; jede durch Schaltfolgen erreichte Markierung erfüllt das als Fakt angegebene Prädikat. Mit Fakten kann man dagegen nicht formulieren, daß in jeder Schaltfolge schließlich eine gewünschte Situation eintritt oder eine bestimmte Aktion geschieht. In diesem Kapitel widmen wir uns derartigen Eigenschaften, die wir Ziele nennen.