Fachrat Informatik - Forum

Hi Leute nach der super Petrinetzklausur lerne ich gerade für Entwurf diskreter Steuerungen.
Leider gibt es zu den veröffentlichten Klausuren keine Lösungen, so dass ich meine Ergebnisse gerne abgleichen würde.

Also zunächst die Klausur vom 11.02.2002
Aufgabe1
Netzklasse : P/T-Netz
Aus dem Erreichbarkeitsgraphen ergibt sich: lebendig, nicht reversibel ,
Aus der Inzidenzmatrix ergibt sich: beschränkt da alle Spaltensummen=0
Anfangsmarkierungsvektor: Mo=(0 6 2 2)
T-Invariante: It= ( 1 2 0 )
S-Invarianten: Is1= ( 1 1 0 0) und Is2= ( 0 0 1 1)

Das Netz ist meines erachtens auch stark zusammenhängend.
Ist doch richtig, dass die Anzahl an minimalen T-Invarianten gleich die Anzahl der Zyklen sind oder?

P.S. Falls jemand noch weitere Übungen hat wäre ich froh, wenn er sie mir schicken könnte