 |
Eine Stelle repräsentiert einen Teilzustand des Systems. Eine Stelle kann mit einer Marke versehen sein. Wenn die Stelle eine Marke hat, ist sie markiert. Wenn Sie keine Marke hat, ist sie nicht markiert. Die Menge aller markierten Stellen repräsentiert den Zustand des Systems. Es muss mindestens eine Stelle geben, die initial markiert ist. Ausgehend von den inital aktiven Stellen kann man den Ablauf als ein Wandern von Marken ansehen. |
Um für eine Stelle eine Marke zu erzeugen, markieren Sie die Stelle im Planeditor, klicken Sie mit der rechten Maustaste und wählen Sie Marke erzeugen im Kontextmenü.
Um die Marke einer Stelle zu löschen, markieren Sie die Stelle im Planeditor, klicken Sie mit der rechten Maustaste und wählen Sie Marke löschen im Kontextmenü.
| Zurück: Zuständigkeit | Übersicht | Weiter: Kante |