Kante

Kanten dienen dem Transport von Marken. Eine Kante verbindet eine Stelle mit einer Transition oder umgekehrt. Die Richtung der Kante entspricht dabei der Transportrichtung der Marke.

Variationen

Schleifenkanten

Die Schleifenkanten umschließen einen Schleifenkörper. Die Schleifenbedingung wird an der zum Schleifenkörper hinführenden Kante notiert.

Hinweise

Kanten können als einziges Planelement in einem Petrinetz Zuständigkeitsgrenzen überschreiten.




Zurück: Stelle Übersicht Weiter: Transition