Was noch ansteht ist das automatisches Prüfen auf Verklemmungsfreiheit und damit auch ein automatischer Durchlauf.
Hier können die Namen und Anfangswerte der Semaphoren festgelegt werden.
In diesem Bereich werden sie die Prozesse schrittweise ablaufen lassen.
Aktiv | Blockiert | Terminiert |
Handlungen müssen dabei in <...> stehen. Semaphor-Operationen können mit .P oder .V an den Semaphorennamen gehängt werden. Jede Aktion, sei es nun <...> oder semaphore.P muss in einer eigenen Zeile stehen.
Beispiele: