Grundkurs Theoretische Informatik Gottfried Vossen Kurt-Ulrich Witt Kapitel 4

Endliche Maschinen und Automatennetze Endliche Transducer Beispiele für Automatennetze Anwendungen endlicher Maschinen

Eintrittsautomat mit Ausgabe: MEintritt

„Architektur“ einer endlichen Maschine

Zustandsdiagramm für Madd

Mealy-Berechenbarkeit

Vorgehensmodell bei der Problemlösung am Beispiel Addition

Allgemeines Vorgehensmodell bei der Systementwicklung

Eintrittsautomat, modelliert als Moore-Maschine

Moore-Maschine, die das Problem teilbar3 löst

Mealy-Maschine, die das Paritätsbit anfügt

Moore-Maschine, die das Paritätsbit anfügt

Zustandsdiagramme zweier Prozesse

Zwei konkurrierende Prozesse

Eine Markierung des Beispielnetzes

Zustand des Beispielnetzes (1) Nach Schalten der Transition P1 fordert Drucker an

Zustand des Beispielnetzes (2) Nach Schalten der Transition P1 belegt Drucker

Zustand des Beispielnetzes (3) Nach Schalten der Transitionen P2 wird fortgeführt und P2 fordert Drucker an

Zustand des Beispielnetzes (4) Nach Schalten der Transition P1 gibt Drucker frei

Drei Beispiele für das Schalten von Transitionen

Verklemmung der Prozesse P1 und P2

Netz mit toter Transition t3

Das Wolf-Ziege-Kohlkopf-Problem als Petri-Netz

Erzeuger-/Verbraucher-System (1) Mit zwei Verbrauchern als Bedingungs-/Ereignisnetz

Erzeuger-/Verbraucher-System (2) Mit zwei Verbrauchern als Stellen-/Transitionsnetz

Erzeuger-/Verbraucher-System (3) als Stellen-/Transitionsnetz mit Gewichten und Kapazitäten

Grobe Sicht einer Bibliothek als Bedingungs-/Ereignisnetz

Verfeinerung des Ereignisses Bibliothekskern

Modellierung der Bibliothek als Prädikats-/Ereignisnetz

Statechart-Beispiel „Kaffeepause“

Workflow-Beispiel „Teilebeschaffung“

Workflow-Beispiel „Reisebuchung“

Workflow-Beispiel „Auswahl von Lernmaterial“

Workflow-Beispiel „Planung Konferenzreise“ auswählen Tutorien Gebühr berechnen Okay Kosten Checken Planung verwerfen Hotel checken Flugpreis [KonfGefunden] /Kosten:=0 / Budget:=1000 Versuche:=1 [Kosten>Budget & Versuche<3]/Versuche++ [!KonfGefunden] /Kosten= KonfGebühr+ Reisekosten Konferenzgebühr checken Reisekosten checken [Kosten>Budget & Versuche>=3] [Kosten<=Budget]

Interaktionen in einem Service-Szenario

Einzelner Anbieter in einem Service-Szenario Bestellung Rechnung Zahlung Quittung

„Vorsichtiger“ Anbieter estellung R echnung Z ahlung Q uittung ? b ! r ?z !q

„Gutmütiger“ Anbieter estellung R echnung Z ahlung Q uittung ! r ? z q ?b

E-Commerce-Anwendung als Service-Komposition Geschäft Bank Anbieter 2 Anbieter 1 autorisieren okay B e s t l u n g 1 Q i 2 Z a h R c kaufen mitnehmen

Ausführung: Geschäft erhält Auftrag ?o !b 1 2 Geschäft . . . ?a !o ?r Bank ?b !r Anbieter 1 Anbieter 2 !q

Autorisierungsaufforderung geht bei Bank ein 1 2 Geschäft . . . ?a !o ?r Bank ?b !r Anbieter 1 Anbieter 2 !q

Autorisierungsaufforderung wird verarbeitet 1 2 Geschäft . . . ?a !o ?r Bank ?b !r Anbieter 1 Anbieter 2 !q

Konversation zu späterem Zeitpunkt q 2 b 1 r !a ?o !b Geschäft . . . ?a !o ?r Bank ?b !r Anbieter 1 Anbieter 2 !q

Transducer als Web Service ?k !m Kunden_Betreuung Teil Anzahl Datenbank_Geschäft Bestand . . . Bestandsauffüllung !a ! b 1 2 ?o ? q kaufen mitnehmen autorisieren okay Bestellung Quittung

Das Wolf-Ziege-Kohlkopf-Problem als endlicher Automat

Ende Kapitel 4