S/T-Systeme

S/T-Systeme (Stellen / Transitionennetze) werden für die Darstellung komplexer Abläufe verwendet, da sie es erlauben, in eine Stelle mehr als eine Marke zu legen und somit eine mengenmäßige Betrachtung der Prozesse erlauben. Die Marken sind zwar eigenständig, aber weiterhin anonym (d.h. nicht voneinander unterscheidbar).

Für jede Stelle wird eine Kapazität festgelegt, die angibt, wie viele Marken sie maximal aufnehmen kann. Existieren keine Kapazitätsangaben an einer Stelle, so geht man definitionsgemäß von einer unendlichen Kapazität aus.

Für die Kanten werden Kantengewichte definiert die angeben, wie viele Marken beim Schalten der Transition entnommen bzw. eingefügt werden. Wird kein Kantengewicht angegeben, so wird die Gewichtung der Kante auf 1 festgelegt.