Was ist ein ST- Netz?
Ein Stellen-Transitions-Netz. Es können jetzt in jeder Stelle unendlich viele Marken liegen, und es werden immer die an der Kante stehenden Marken gebraucht, um eine Transition zu schalten (von allen Vorgängern einer Transition).
Müssen Vorbereich und Nachbereich einer Transition disjunkt sein? Wenn ja, warum?
Ja,
Kann die Transition schalten?
Ja
Kann das gehen?
Modelliere als ST-Netz:
erstelle die inzidenzenmatrix
Rechne mit
und der Inzidenzenmatrix
aus, wie viele marken an welcher stelle liegen.
Gibt es eine T-Invariante?
ges.: v
Nein.
→ Welche Spalten müssen wir aufsummieren, um zu = 0 zu kommen? (Mehrmals möglich)
Gibt es eine S-Invariante?
Was ist ein SIPN-Netz?
Steuerungstechnisch interpretierte Petrinetze (SIPN)
Stelle das SIPN in AS dar:
Erstelle das SIPN.
Gehe erst grob vor und füge dann alle Sensoren und Rückmeldungen hinzu.
Überführe anschließend in AS.
Last changed15 days ago
