Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...
Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...
Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Klausur <strong>Automatisierungsprojekte</strong> I6B01, I6B03, I5D31 und I5D33 27.1.2009 Seite 4 von 3<br />
3. Petri-Netze 45 Punkte<br />
1. Das folgende B/E-Netz sei gegeben.<br />
T1<br />
S3<br />
T4<br />
S1<br />
S2<br />
T3<br />
T2<br />
S4<br />
T5<br />
S5<br />
T6<br />
a) Geben Sie den Erreichbarkeitsgraphen an. 10 Punkte<br />
b) Diskutieren Sie die Lebendigkeit des Netzes. 5 Punkte<br />
Das Netz ist lebendig ersten Grades, da alle Transitionen immer wieder schalten<br />
können. Es gibt weder totale, noch partielle Verklemmungen.<br />
c) Geben Sie das Netz in vektorieller Darstellung an.<br />
5 Punkte<br />
⎡ 1 ⎤ ⎡−1⎤<br />
⎡ 0 ⎤ ⎡ 0 ⎤ ⎡ 0 ⎤ ⎡ 0 ⎤ ⎡1⎤<br />
⎡1⎤<br />
⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥<br />
⎢<br />
−1<br />
⎥ ⎢<br />
1<br />
⎥ ⎢<br />
−1<br />
⎥ ⎢<br />
1<br />
⎥ ⎢<br />
0<br />
⎥ ⎢<br />
1<br />
⎥ ⎢<br />
1<br />
⎥ ⎢<br />
0<br />
r r r r r r r r ⎥<br />
t1 = ⎢ 0 ⎥,<br />
t2<br />
= ⎢ 0 ⎥,<br />
t3<br />
= ⎢ 1 ⎥,<br />
t4<br />
= ⎢−1⎥,<br />
t5<br />
= ⎢ 0 ⎥,<br />
t6<br />
= ⎢−1⎥,<br />
C = ⎢1⎥<br />
, m0<br />
= ⎢1⎥<br />
⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥<br />
⎢ 0 ⎥ ⎢ 0 ⎥ ⎢ 1 ⎥ ⎢−1⎥<br />
⎢−1⎥<br />
⎢ 0 ⎥ ⎢1⎥<br />
⎢0⎥<br />
⎢<br />
⎣ 0 ⎥<br />
⎦<br />
⎢<br />
⎣ 0 ⎥<br />
⎦<br />
⎢<br />
⎣ 0 ⎥<br />
⎦<br />
⎢<br />
⎣ 0 ⎥<br />
⎦<br />
⎢<br />
⎣ 1 ⎥<br />
⎦<br />
⎢<br />
⎣ 1 ⎥<br />
⎦<br />
⎢<br />
⎣1<br />
⎥<br />
⎦<br />
⎢<br />
⎣1⎥<br />
⎦<br />
2. Geben sei das S/T-Netz rechts.<br />
a) Zeigen Sie anhand des Erreichbarkeitsgraphen, ob das Netz reversibel ist.<br />
5 Punkte<br />
Lösung:<br />
Kein Pfad, der an irgend einer Stelle <strong>zur</strong>ück führt.<br />
Daraus folgt: nicht reversibel.<br />
b) Zeigen Sie anhand der vektoriellen Darstellung, ob die Markierung [3,1] T<br />
erreichbar ist.<br />
5 Punkte<br />
v T v v v<br />
m = ,1 = m + t + t = 1,0<br />
T<br />
+ −1,2<br />
T<br />
+ 3, 1<br />
[ ] [ ] [ ] [ ] T<br />
3<br />
0 2 1<br />
−