Yet telefona
4
0
0
Volltext
(2) Lehrstuhl für Connected Mobility Fakultät für Informatik Technische Universität München. a)* Nehmen Sie an, dass die Kommunikation zwischen den Prozessen asynchron ist. Modellieren Sie die Kommunikationsvorgänge in einem Sequenzdiagramm.. Poi t=0. XC. t=2. Anfani von. send. Ì Nachricht 7 catwirdPz nicht. gesendet. t=4. B. t=6 t=8 t=10 t=12. t=16. µ. Anfrafro no. p. the. t=14. B. sofortzuriic.IR Nachricht. Ed. receive. receive. In. wird verarbeitetti. ti. Abbildung 1: Asynchrone Kommunikation. b)* Wiederholen Sie Aufgabe a) für den Fall von synchroner Kommunikation zwischen den Prozessen. Gehen Sie von einer Bestätigung einer Nachricht nach deren Verarbeitung aus. Beachten Sie, dass eine Nachricht eventuell wegen eines blockierenden Empfängers erst zum nächstmöglichen Zeitpunkt ankommt. Bestätigungen haben die gleiche Laufzeit wie Nachrichten.. t=0 t=2. p Empfanger p existent nicht 2 wird Nachricht. nicht. gesendet. t=4. B. _A. verarbeit to. seIaffEE È ffa t=6 t=8. t=10. Anfratto receive. Kehrt sofort zurich. p. t=12 t=14. Anfrufron s. receive. ff. t=16. Prof. Dr.-Ing. Jörg Ott ott@in.tum.de. Abbildung 2: Synchrone Kommunikation. Martin Uhl gbs@cm.in.tum.de. 2.
(3) Lehrstuhl für Connected Mobility Fakultät für Informatik Technische Universität München. Aufgabe 3. Erreichbarkeitsgraph2Petrinet. Gegeben sei der folgende Erreichbarkeitsgraph, wobei jede Node eine Belegung (s1 , s2 , s3 , s4 , s5 , s6 ) repräsentiert:. t6. 1,0,0,0,1,0 t1. 0,0,2,0,0,0. 0,1,1,0,1,0. t5. t7 t2. 0,2,0,0,1,0. t3. 0,0,0,0,1,2. t4. 0,0,0,2,0,0. Abbildung 3: Erreichbarkeitsgraph. a)* Modellieren Sie das zu dem Erreichbarkeitsgraphen zugehörige Petrinetz mit der Startmarkierung (1, 0, 0, 0, 1, 0). b)* Argumentieren Sie anhand des Erreichbarkeitsgraphen, welche der Ihnen bekannten Eigenschaften das dazugehörige Petrinetz besitzt.. Das Netz ist Leben dig Deswegen ist es anch verklemmungsfrei Das Netz ist unfair andare Transition verhunge.ru t tt trista Das Netz ist nicht Godesch Es gibtkeinenebenl.tn c) (Optional) Erstellen Sie den zu Ihrem Petrinetz zugehörigen Erreichbarkeitsgraphen um Ihre Lösung zu überprüfen.. Prof. Dr.-Ing. Jörg Ott ott@in.tum.de. Martin Uhl gbs@cm.in.tum.de. 3.
(4) IN. a. È. O. si. 54. C sa.
(5)
ÄHNLICHE DOKUMENTE
Lehrstuhl für Connected Mobility Integer Fakultät für Informatik Technische Universität München.. Warum sollten nicht alle Werte in Variablen abgelegt werden, die in der Funktion
Das benötigte Gerät zum Zusammenschalten der Grafiksignale ist nach bisherigem Erkenntnisstand leider nicht im Handel erhältlich. Allerdings gibt es ein durchaus häufig
Haskell kann für Informatiker einen sehr guten Einstieg in das Studium darstellen. Es gibt Anwendungsgebiete in denen Haskell durchaus die Sprache der