Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...

Weitere Magazine

Empfehlungen

Info

Klausur Automatisierungsprojekte I6B01, I6B03, I5D31 und I5D33 27.1.2009 Seite 4 von 3 3. Petri-Netze 45 Punkte 1. Das folgende B/E-Netz sei gegeben. T1 S3 T4 S1 S2 T3 T2 S4 T5 S5 T6 a) Geben Sie den Erreichbarkeitsgraphen an. 10 Punkte b) Diskutieren Sie die Lebendigkeit des Netzes. 5 Punkte Das Netz ist lebendig ersten Grades, da alle Transitionen immer wieder schalten können. Es gibt weder totale, noch partielle Verklemmungen. c) Geben Sie das Netz in vektorieller Darstellung an. 5 Punkte ⎡ 1 ⎤ ⎡−1⎤ ⎡ 0 ⎤ ⎡ 0 ⎤ ⎡ 0 ⎤ ⎡ 0 ⎤ ⎡1⎤ ⎡1⎤ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ −1 ⎥ ⎢ 1 ⎥ ⎢ −1 ⎥ ⎢ 1 ⎥ ⎢ 0 ⎥ ⎢ 1 ⎥ ⎢ 1 ⎥ ⎢ 0 r r r r r r r r ⎥ t1 = ⎢ 0 ⎥, t2 = ⎢ 0 ⎥, t3 = ⎢ 1 ⎥, t4 = ⎢−1⎥, t5 = ⎢ 0 ⎥, t6 = ⎢−1⎥, C = ⎢1⎥ , m0 = ⎢1⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ 0 ⎥ ⎢ 0 ⎥ ⎢ 1 ⎥ ⎢−1⎥ ⎢−1⎥ ⎢ 0 ⎥ ⎢1⎥ ⎢0⎥ ⎢ ⎣ 0 ⎥ ⎦ ⎢ ⎣ 0 ⎥ ⎦ ⎢ ⎣ 0 ⎥ ⎦ ⎢ ⎣ 0 ⎥ ⎦ ⎢ ⎣ 1 ⎥ ⎦ ⎢ ⎣ 1 ⎥ ⎦ ⎢ ⎣1 ⎥ ⎦ ⎢ ⎣1⎥ ⎦ 2. Geben sei das S/T-Netz rechts. a) Zeigen Sie anhand des Erreichbarkeitsgraphen, ob das Netz reversibel ist. 5 Punkte Lösung: Kein Pfad, der an irgend einer Stelle zurück führt. Daraus folgt: nicht reversibel. b) Zeigen Sie anhand der vektoriellen Darstellung, ob die Markierung [3,1] T erreichbar ist. 5 Punkte v T v v v m = ,1 = m + t + t = 1,0 T + −1,2 T + 3, 1 [ ] [ ] [ ] [ ] T 3 0 2 1 −
Klausur Automatisierungsprojekte I6B01, I6B03, I5D31 und I5D33 27.1.2009 Seite 5 von 3 3. Modellieren Sie mithilfe eines S/T-Petri-Netzes eine Software für ein Gepäckverteilungssystem am Check-In-Schalter eines Flughafens, an welchem Gepäck für die Gates A und B angenommen wird. Jedes Gepäckstück erhält einen Barcode-Aufkleber, anhand dessen es Gate A oder Gate B zugeordnet wird. Das Check-In-Band kann in Richtung Verteilerband laufen oder angehalten sein. Das Verteilerband kann in beide Richtungen laufen. Wird ein Gepäckstück am Check-In auf das Band abgestellt, registriert die Lichtschranke LS-CI, dass ein Gepäckstück abgegeben wurde. Das Gepäckstück wird dann zum Barcode-Leser transportiert, wo festgestellt wird, ob es für Gate A oder B bestimmt ist. Wenn das Verteilerband gestoppt ist, wird das Gepäckstück darauf transportiert. Ist es für Gate A bestimmt, läuft das Verteilerband nach links, bis Lichtschranke LS-GA die Ankunft in Gate A anzeigt und damit das Gepäckstück in Gate A abgeliefert ist. Ist es umgekehrt für Gate B bestimmt, läuft das Verteilerband nach rechts, bis Lichtschranke LS-GB die Ankunft in Gate B anzeigt und damit das Gepäckstück in Gate B abgeliefert ist. 15 Punkte Lösung: 3. SA/RT 30 Punkte Modellieren Sie das Softwaresystem für den unten beschriebenen Kaffomat. 3.1 Kontextdiagramm 10 Punkte 3.2 FD0 10 Punkte 3.3 CSpec für FD0 10 Punkte 0 In Bereitschaft wartet der Kaffomat auf die Auswahl eines Getränks. Während des Wartens eingeworfene Münzen werden sofort zurückgegeben. Die Auswahl erfolgt durch Drücken
Seite 1 und 2: Klausur Automatisierungsprojekte I6
Seite 3: Klausur Automatisierungsprojekte I6

Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?