Zeichne Causality
Zeichne Parallelism
Zeichne Parallelism AND-split
Zeichne Choice: XOR-split
Zeichne Parallelism AND-join
Zeichne Choice: XOR-join
Zeichne Iteration: One or More Times
Gelb markierter Prozess der wiederholt wird oder beendet wird
Zeichne Zero or More Times
Zeichne Mutual Exclusion
Zeichne Alternating
Können Transitionen gleichzeitig feuern?
Ja, wenn sie nicht um dieselben Token konkurrieren
Wann gilt eine Transition als enabled?
Wenn alle Input Places mindestens ein Token enthalten
Was passiert wenn eine Transition feuert?
Verbraucht Token von einem Place und produziert eins für das andere
Welche States gibt es?
4 Stück
Initial State: Initial distribution of tokens
Reachable state: Reachable from initial state
Final state (dead state): No transition is enabled
Home state: It is always possible to
return to it
Kann sich die Gesamtanzahl der Token ändern?
Ja.
Beispiel: Eine Transition nimmt 2 Tokens aus einer Stelle und erzeugt 1 Token in einer anderen → Gesamtzahl sinkt um 1.
