Petri-Netze / Eine Einführung (Teil 2)

Save this PDF as:
 WORD  PNG  TXT  JPG

Größe: px
Ab Seite anzeigen:

Download "Petri-Netze / Eine Einführung (Teil 2)"

Transkript

1 Manuel Hertlein Seminar Systementwurf Lehrstuhl Theorie der Programmierung

2 Wiederholung (1) Petri-Netz = bipartiter, gerichteter Graph Aufbau: Plätze (passive Komponenten) Transitionen (aktive Komponenten) Kanten (Flussrelationen) Belegung der Plätze heißt Markierung stellt Zustand des Petri-Netzes dar 2

3 Wiederholung (2) Transition aktiviert, wenn auf allen Plätzen im Vorbereich die benötigten Marken liegen alle Plätze im Nachbereich die erzeugten Marken aufnehmen können aktivierte Transition kann zu beliebigem Zeitpunkt schalten vor dem Schalten nach dem Schalten (t1 ist aktiviert) 3

4 Grundsituationen: Kausalität welche Voraussetzungen müssen stattgefunden haben, bevor ein Ereignis stattfinden kann Unterscheidung zwischen notwendigen Voraussetzungen Schalten von t1 notwendig für das Schalten von t2 hinreichenden Voraussetzungen Schalten von t1 oder t2 hinreichend für das Schalten von t3 4

5 Grundsituation: Nebenläufigkeit in einer Markierung sind mehrere Transitionen aktiviert wenn sie sich nicht gegenseitig beeinflussen, ist Ergebnis unabhängig der Schaltfolge immer gleich Reihenfolge, wie t1,t2 oder t3 hintereinander schalten ist egal, sie führen alle zum gleichen Ergebnis. Transitionsmenge ist nebenläufig aktiviert, wenn jede Transitionsfolge eine zulässige Schaltfolge ist können dann auch gleichzeitig geschaltet werden 5

6 Grundsituationen: Konflikt Transitionen gleichzeitig, aber nicht nebenläufig aktiviert, d.h. mehrere Transitionen aktiviert Vorbereiche überschneiden sich nicht genug Marken, um alle Transitionen zu schalten lokaler Nichtdeterminismus (welche Transition schaltet?) Lösung: Einführung von konfliktlösenden Elementen (Vorbereich erweitern) Konfliktlösung 6

7 Grundsituationen: Kontakt ähnlich Konflikt, Ursache bei Kontakt jedoch im Nachbereich im Nachbereich mehrerer Transitionen gemeinsame, kapazitätsbeschränkte Plätze nach Schalten einer Transition, möglicherweise nicht mehr genügend Aufnahmekapazität für Marken anderee Transitionen 7

8 Grundsituationen: Synchronisation Zusammenführen von Ereignisströmen : Join Aufspalten von Ereignisströmen : Fork 8

9 Analyse: Erreichbarkeit (1) Überblick über Systemverhalten alle Markierungen einer Schaltfolge sind erreichbare Markierungen eines Systems Menge aller erreichbarer Markierungen aller möglichen Schaltfolgen ist die Erreichbarkeitsmenge eines Systems Berechnung mittels Breitensuche: Startmarkierung M 0 jede neu gefundene Markierung wird in Erreichbarkeitsmenge aufgenommen wiederholen bis alle Folgemarkierungen in Erreichbarkeitsmenge aufgenommen worden sind 9

10 Analyse: Erreichbarkeit (2) Beispiel: Petri-Netz: Markierungsmenge: Markierung Nr. p1 p2 p3 Schaltung M t1 M 1 Erreichbarkeitsgraph: M t1 M 2 t2 M 3 M t2 M 4 M t1 M 4 M t2 M 5 M t1 M t1 2 M 0 M 1 t2 t2 t2 M 4 M 5 M 3 t1 10

11 Analyse: Sicherheit, Beschränktheit ein Petri-Netz heißt n-sicher, falls nie mehr als n Marken auf einem Platz zum Liegen kommen System heißt beschränkt, falls es ein n gibt, so dass es n-sicher ist Entscheidung mit Erreichbarkeitsmenge endliche Menge für jeden Platz überprüfen ob unter kritischer Grenze unendliche Menge: nicht n-sicher wäre Markenzahl an allen Plätzen immer kleiner n, kann es nur endlich viele Markierungen geben 11

12 Analyse: Lebendigkeit (1) Transition heißt tot, falls sie unter keiner Markierung aktiviert ist aktivierbar, falls sie unter mindestens einer Markierung aktiviert ist lebendig, falls sie unter jeder Markierung aktivierbar ist 12

13 Analyse: Lebendigkeit (2) Petri-Netz heißt tot, falls alle Transitionen tot sind schwach lebendig/deadlockfrei, falls unter jeder Markierung mindestens eine Transition aktiviert ist (stark) lebendig, falls alle Transitionen lebendig sind 13

14 Arten von Petri-Netzen: Bedingungs-Ereignis-Netz beschränken sich auf Gelten und Nichtgelten von Bedingungen, die durch Ereignisse eintreten oder beendet werden pro Stelle nur ein Token Kapazität der Stellen auf 1 beschränkt Kantengewichtung auf 1 beschränkt 14

15 Arten von Petri-Netzen: Stellen-Transitions-Netz mehrere Token pro Stelle Stellen-Kapazitäten Kanten-Gewichtungen 15

16 Arten von Petri-Netzen: Prädikat-Transitions-Netz unterscheidbare Tokens Prädikate an Stellen und Transitionen Schalt-Modi: x = A, y = C x = A, y = D x = A, y = E x = B, y = C x = B, y = D 16

17 Fazit Mächtige Modellierungssprache für unterschiedlichste Abstraktionsebenen B/E- und S/T-Netze grafisch leicht verständlich High-Level Petri-Netze zur kompakten Darstellung komplexer Prozesse Formale Definitionen ermöglichen genaue mathematisch Analysen und Korrektheitsbeweise Möglichkeiten der schrittweisen Simulation fördert Verständnis und Fehlersuche 17

18 Weitere Informationen Einführungskurs mit interaktiven Beispielen Petri Nets World 18

19 Ende Vielen Dank für die Aufmerksamkeit! 19

Einführung Low-Level-Netze High-Level-Netze Referenzen. Petrinetze. Benjamin Daeumlich 30.10.2006

Einführung Low-Level-Netze High-Level-Netze Referenzen. Petrinetze. Benjamin Daeumlich 30.10.2006 30.10.2006 Gliederung 1 2 3 4 . Geschichte Was sind? Petrinetz-Typen Geschichte Geschichte Was sind? Petrinetz-Typen 1962 eingeführt von Carl Adam Petri zuerst nur aber: oft zu einfach für Spezifikationszwecke

Mehr

Einführung in Petri-Netze. Modellierung von Abläufen und Prozessen (1) Abhängigkeitsgraphen: Motivation. Petri-Netze

Einführung in Petri-Netze. Modellierung von Abläufen und Prozessen (1) Abhängigkeitsgraphen: Motivation. Petri-Netze Einführung in Petri-Netze Modellierung von Abläufen und Prozessen () Motivation Abhängigkeitsgraphen: A B 6 C 5 D Petri-Netze Markierungen Invarianten Credits: L. Priese, H. Wimmel: Petri-Netze, Theoretische

Mehr

Modellierung von Geschäftsprozessen Teil 6 - Petri-Netze

Modellierung von Geschäftsprozessen Teil 6 - Petri-Netze FHTW Berlin FB4, Wirtschaftsmathematik Modellierung von Geschäftsprozessen Teil 6 - Petri-Netze Dr. Irina Stobbe, 2005-2008 Thema - Überblick Petri-Netze Petri-Netze Einführung Funktionsweise Definition

Mehr

Software Engineering in der Praxis

Software Engineering in der Praxis Software Engineering in der Praxis Praktische Übungen Inhalt Nachlese Überblick Aufgaben Lernziele bei der Objektorientierten Analyse Abgrenzung der Analyse zum Design als Lernprozeß UML Verhaltensdiagramme

Mehr

Einführung - Systeme

Einführung - Systeme Systeme Petri-Netze Gliederung Einführung - Systeme System Zustand Arten von Systemen Petri-Netze Low-Level Petri-Netze High-Level Petri-Netze 2 System griechisch: σύστηµα = das Gebilde, Zusammengestellte,

Mehr

Software-Engineering SS03. Zustandsautomat

Software-Engineering SS03. Zustandsautomat Zustandsautomat Definition: Ein endlicher Automat oder Zustandsautomat besteht aus einer endlichen Zahl von internen Konfigurationen - Zustände genannt. Der Zustand eines Systems beinhaltet implizit die

Mehr

6.2 Petri-Netze. kommunizierenden Prozessen in der Realität oder in Rechnern Verhalten von Hardware-Komponenten Geschäftsabläufe Spielpläne

6.2 Petri-Netze. kommunizierenden Prozessen in der Realität oder in Rechnern Verhalten von Hardware-Komponenten Geschäftsabläufe Spielpläne 6.2 Petri-Netze WS 06/07 mod 621 Petri-Netz (auch Stellen-/Transitions-Netz): Formaler Kalkül zur Modellierung von Abläufen mit nebenläufigen Prozessen und kausalen Beziehungen Basiert auf bipartiten gerichteten

Mehr

Modellierungsmethoden - Kapitel 3

Modellierungsmethoden - Kapitel 3 3. Petri-Netze Bei Petri-Netzen handelt es sich um formale Konstrukte, die graphisch ausgestaltet sind und sich für die Modellierung und Analyse von Systemen und Prozessen eignen. Besonders gut eignen

Mehr

Projektgruppe: Process Landscaping. Seminar: Petri-Netze und Petri-Netz Werkzeuge

Projektgruppe: Process Landscaping. Seminar: Petri-Netze und Petri-Netz Werkzeuge Projektgruppe: Process Landscaping Seminar: Petri-Netze und Petri-Netz Werkzeuge Veranstalter: Prof. Dr. V. Gruhn U. Wellen Lehrstuhl Software Technologie SS 2000 Referent: Martin Otten Version: 20.03.2000

Mehr

4. Petri-Netze. Modellierungsaspekte bei Petri-Netzen:

4. Petri-Netze. Modellierungsaspekte bei Petri-Netzen: 4. Petri-Netze Bei Petri-Netzen handelt es sich um formale Konstrukte, die graphisch ausgestaltet sind und sich für die Modellierung und Analyse von Systemen und Prozessen eignen. Besonders gut eignen

Mehr

Prozessmodellierung mit Petri-Netzen

Prozessmodellierung mit Petri-Netzen Prozessmodellierung mit Petri-Netzen Ingo Frommholz Universität Duisburg-Essen Vorlesung "Information Engineering" SS 2007 UNIVERSITÄT D U I S B U R G E S S E N Inhaltsverzeichnis 1 Prozesse im Information

Mehr

Vorlesung Methoden des Software Engineering. Martin Wirsing. Einheit C.3, 9.12.2004

Vorlesung Methoden des Software Engineering. Martin Wirsing. Einheit C.3, 9.12.2004 Block C (Formale Methoden): Petrinetze 9.12.04 1 Vorlesung Methoden des Software Engineering Block C Formale Methoden Petrinetze Martin Wirsing Einheit C.3, 9.12.2004 Block C (Formale Methoden): Petrinetze

Mehr

Modellierungsmethoden der Informatik

Modellierungsmethoden der Informatik smethoden der Informatik Petrinetze (Teil III) 05.12.2007 Überblick Überblick Organisatorisches Wiederholung S/T-System: Grundbegriffe - Grundsituationen Nebenläufigkeit Invarianten B/E-Systeme Prädikat-Transitions-Netze

Mehr

26.01.2009. Gliederung. Nebenläufigkeit und Fairness. 1. Nebenläufigkeit Lokalitätsprinzip. 2. Betrachtungsweisen von Nebenläufigkeit. 3.

26.01.2009. Gliederung. Nebenläufigkeit und Fairness. 1. Nebenläufigkeit Lokalitätsprinzip. 2. Betrachtungsweisen von Nebenläufigkeit. 3. Gliederung Lokalitätsprinzip Nebenläufigkeit und Fairness Seminar Model lchecking WS 08/09 Interleaving Halbordnung. Fairness Jan Engelsberg engelsbe@informatik.hu berlin.de Was ist Nebenläufigkeit? In

Mehr

Warum Modellierung? OE-Vorlesung 2016 Einführung in Petrinetze. Was ist ein Modell? Und warum Petrinetze? Petrinetze sind ein Modellierungswerkzeug.

Warum Modellierung? OE-Vorlesung 2016 Einführung in Petrinetze. Was ist ein Modell? Und warum Petrinetze? Petrinetze sind ein Modellierungswerkzeug. Warum Modellierung? OE-Vorlesung 016 Einführung in Petrinetze Dr. Lawrence Cabac cabac@informatik.uni-hamburg.de Folien: Dr. Frank Heitmann Fachbereich Informatik Universität Hamburg Petrinetze sind ein

Mehr

Petri-Netze / Eine Einführung

Petri-Netze / Eine Einführung Manuel Hertlein Seminar Systementwurf Lehrstuhl Theorie der Programmierung Carl Adam Petri am 12. Juli 1926 in Leipzig geboren Studium der Mathematik 1962 Promotion zum Doktor der Naturwissenschaft Titel

Mehr

Kapitel 4: Analyse von Petrinetzen

Kapitel 4: Analyse von Petrinetzen Kapitel 4: Analyse von Petrinetzen 1. Beispiele 2. Analyseansatz 3. Markierungsgraph 4. Beschränktheit 5. State Space Explosion: Beispiel 6. Komplementbildung 7. Zusammenhängend 8. Tot, lebendig, verklemmungsfrei

Mehr

Musterlösung zur Klausur Prozess- und Daten-Modellierung. Termin: 2006-10-19, 8:00 09:30 Uhr

Musterlösung zur Klausur Prozess- und Daten-Modellierung. Termin: 2006-10-19, 8:00 09:30 Uhr Musterlösung zur Klausur Prozess- und Daten-Modellierung Termin: 006-10-19, 8:00 09:30 Uhr Name:... Vorname:... Strasse:... PLZ, Ort:... Matrikel-Nr.:... Wirtschafts- und Sozialwissenschaftliche Fakultät

Mehr

Einführung in Petri-Netze

Einführung in Petri-Netze Einführung in Petri-Netze Modellierung und Analysen von Workflows Vertretung: Stephan Mennicke, Reaktive Systeme SS 2012 Organisatorisches In der 24. KW (11.06. 17.06.): Vorlesung am Dienstag, 15:00 Uhr

Mehr

Modellierung biologischer. Christian Maidorfer Thomas Zwifl (Seminar aus Informatik)

Modellierung biologischer. Christian Maidorfer Thomas Zwifl (Seminar aus Informatik) Modellierung biologischer Prozesse Christian Maidorfer Thomas Zwifl (Seminar aus Informatik) Überblick Einführung Arten von Modellen Die stochastische Pi-Maschine Warum Modelle Die Biologie konzentriert

Mehr

Seminar Analyse von Petrinetz-Modellen

Seminar Analyse von Petrinetz-Modellen Seminar Analyse von Petrinetz-Modellen Vortrag: "Deadlocks und Fallen" II Steve Reich 26.11.2007 Wiederholung Falle Deadlock 1 Wiederholung Deadlock und Falle Nur Deadlock Nur Falle 2 Satz zur strukturellen

Mehr

Kapitel 2: Workflow-Definitionssprachen

Kapitel 2: Workflow-Definitionssprachen Kapitel 2: Workflow-Definitionssprachen Überblick und Klassifikations-Kriterien Fallbeispiel Petri-Netz-basierte Sprachen State-und Activity-Charts XML-basierte Sprachen Workflow-Definitionssprachen: Relevante

Mehr

Aufgaben Petrinetze Aufgabe 1

Aufgaben Petrinetze Aufgabe 1 Task C läuft an, wenn A und B abgelaufen sind. Aufgabe 1 A B Task A REL S1 Task B REL S2 REQ S1 REQ S2 S1 S2 Task C C Aufgabe: Task C läuft an, wenn A oder B abgelaufen sind. Zeichne das Petrinetz und

Mehr

Gemeinsamkeiten und Unterschiede bei der Anwendung für die Analyse von Geschäftsprozessen

Gemeinsamkeiten und Unterschiede bei der Anwendung für die Analyse von Geschäftsprozessen Gemeinsamkeiten und Unterschiede bei der Anwendung für die Analyse von Geschäftsprozessen Gliederung Geschäftsprozess Einführung der Modellierungskonzepte PetriNetz und EPK Transformation von EPK in PN

Mehr

Kapitel 3: Petrinetze und Workflow Modellierung

Kapitel 3: Petrinetze und Workflow Modellierung Kapitel 3: Petrinetze und Workflow Modellierung 1. Modellierung 1. Ziel: Analyse 2. Modellierungssprachen: Perspektiven und Anforderungen 2. Petrinetze 1. Geschichtliches 2. Gründe und Bestandteile 3.

Mehr

Dialognetze. Ziel : Beschreibung von Methoden und Beschreibungstechniken für den Entwurf und die Dokumentation von Dialogabläufen

Dialognetze. Ziel : Beschreibung von Methoden und Beschreibungstechniken für den Entwurf und die Dokumentation von Dialogabläufen Dialognetze Ziel : Beschreibung von Methoden und Beschreibungstechniken für den Entwurf und die Dokumentation von Dialogabläufen Dialogabläufe auf Fensterebene "grobe Dialogabläufe" d.h. Wechsel zwischen

Mehr

Prozessmodellierung. Skript zur Vorlesung von Prof. Dr. Siegmar Gerber

Prozessmodellierung. Skript zur Vorlesung von Prof. Dr. Siegmar Gerber Prozessmodellierung Skript zur Vorlesung von Prof. Dr. Siegmar Gerber Februar 2005 Inhaltsverzeichnis - I - Inhaltsverzeichnis Literaturverzeichnis 2 1. Einführung 3 2. Prozessmodell 11 2.1 Netze... 11

Mehr

SYNTHESE ELEMENTARER PETRINETZE

SYNTHESE ELEMENTARER PETRINETZE SYNTHESE ELEMENTARER PETRINETZE OBERSEMINARVORTRAG VON MARTIN CANDROWICZ 27. MAI 2016 GLIEDERUNG 1. PETRINETZE 2. TRANSITIONSSYSTEME 3. MOTIVATION 4. ALGORITHMUS ZUR SYNTHESE ELEMENTARER PETRINETZE 1.

Mehr

Graphentheoretische Beschreibung der Petrinetze

Graphentheoretische Beschreibung der Petrinetze Graphentheoretische Beschreibung der Petrinetze Eldar Sultanow eldarsultanow @hpiuni-potsdamde Hasso-Plattner-Institut an der Universität Potsdam Zusammenfassung Abläufe lassen sich durch Graphen darstellen

Mehr

Farbige Stochastische Petri-Netze und ihr Einsatz in der Wirtschaft

Farbige Stochastische Petri-Netze und ihr Einsatz in der Wirtschaft Farbige Stochastische Petri-Netze und ihr Einsatz in der Wirtschaft Sascha Bosse 7. November 2007 1 Inhaltsverzeichnis 1. Zusammenfassung 2. Einleitung 3. Grundlagen i) Graphentheorie ii) Stochastik 4.

Mehr

Inhalt 12 Petri-Netze. 12.1 Grundlagen

Inhalt 12 Petri-Netze. 12.1 Grundlagen 1 Inhalt 1 Petri-Netze 1.1 Grundlagen 1. Bedingungs/Ereignis-Netze 1.3 Stellen/Transitions-Netze 1.4 Prädikat/Transitions-Netze 1.5 Hierarchische Petri-Netze 1.6 Zeitbehaftete Petri-Netze 1.7 Strukturelemente

Mehr

Interleaving-Semantik: Parallelausführung wird auf Hintereinanderausführung in beliebiger Reihenfolge zurückgeführt.

Interleaving-Semantik: Parallelausführung wird auf Hintereinanderausführung in beliebiger Reihenfolge zurückgeführt. Einführung Interleaving-Semantik: Parallelausführung wird auf Hintereinanderausführung in beliebiger Reihenfolge zurückgeführt. P 1 = (a.stop) (b.stop) und P 2 = (a.b.stop) + (b.a.stop) werden nicht unterschieden.

Mehr

Petri-Netze. Udo Kelter 16.03.2003

Petri-Netze. Udo Kelter 16.03.2003 Petri-Netze Udo Kelter 16.03.2003 Zusammenfassung dieses Lehrmoduls Petri-Netze sind Modelle für die Zustände eines Systems und die Übergänge zwischen diesen Zuständen. Petri-Netze eignen sich insbesondere

Mehr

Petrinetze. Vorversion eines Skripts zur Vorlesung Petrinetze im SS 2002 an der Universität Paderborn. Ekkart Kindler

Petrinetze. Vorversion eines Skripts zur Vorlesung Petrinetze im SS 2002 an der Universität Paderborn. Ekkart Kindler Petrinetze Vorversion eines Skripts zur Vorlesung Petrinetze im SS 2002 an der Universität Paderborn Ekkart Kindler Version: 0.0.8 vom 18. Juli 2002 ii Vorwort Dies ist eine Vorversion eines Skripts zur

Mehr

Kapitel 2 Vorstellung der Standardsoftware Horus

Kapitel 2 Vorstellung der Standardsoftware Horus ProkSy - EBSS Institut AIFB WS 2013/2014 Einsatz betrieblicher Standardsoftware (ProkSy EBSS) Kapitel 2 Vorstellung der Standardsoftware Horus Institut für Angewandte Informatik und Formale Beschreibungsverfahren

Mehr

Software-Engineering

Software-Engineering SWE41 Slide 1 Software-Engineering Sebastian Iwanowski FH Wedel Kapitel 4: Systemanalyse Teil 1: Prozessorientierte Sicht SWE41 Slide 2 Überblick: Systemanalyse Verschiedene Analysemethoden unterscheiden

Mehr

OE-Vorlesung Einführung in Petrinetze. Dr. Köhler-Bußmeier. Department für Informatik Universität Hamburg OE 2008

OE-Vorlesung Einführung in Petrinetze. Dr. Köhler-Bußmeier. Department für Informatik Universität Hamburg OE 2008 OE-Vorlesung 2008 Einführung in Petrinetze Dr. Köhler-Bußmeier Department für Informatik Universität Hamburg OE 2008 Dr. Köhler-Bußmeier (Uni-HH) OE-Vorlesung 2008 1 / 32 Übersicht 1 Informatik 2 Der Liebling

Mehr

3.0 VU Formale Modellierung

3.0 VU Formale Modellierung 3.0 VU Formale Modellierung Gernot Salzer Arbeitsbereich Theoretische Informatik und Logik Institut für Computersprachen SS 2016 1 Inhalt 0. Überblick 1. Organisation 2. Was bedeutet Modellierung? 3. Aussagenlogik

Mehr

9. Petrinetze und Workflows 1

9. Petrinetze und Workflows 1 9. Petrinetze und Workflows Ein anschauliches Beispiel GBIS-Rahmen: Einordnung Petrinetz Anwendung Daten Steuerung Funktionen SW-Architektur Elemente der Petrinetz-Theorie - statische und dynamische Elemente

Mehr

Anmerkungen zur Übergangsprüfung

Anmerkungen zur Übergangsprüfung DM11 Slide 1 Anmerkungen zur Übergangsprüfung Aufgabeneingrenzung Aufgaben des folgenden Typs werden wegen ihres Schwierigkeitsgrads oder wegen eines ungeeigneten fachlichen Schwerpunkts in der Übergangsprüfung

Mehr

Verhaltensanalysegraph für Petrinetze

Verhaltensanalysegraph für Petrinetze Bachelorarbeit Carl von Ossietzky Universität Oldenburg 9. Januar 215 en 1 Gliederung en en 2 kurze gehen zurück auf Carl Adam Petri (1962). s 1 t 1 s 2 t 2 t 3 2 s 3 Abbildung : Beispiel Petrinetz...

Mehr

Petri nets, event structures and domains

Petri nets, event structures and domains RWTH Aachen University Lehrstuhl 2 für Informatik: Softwaremodellierung und Verikation Petri nets, event structures and domains Seminararbeit von Achim Lindt (231288) 08. Dezember 2009 Seminar Concurrency

Mehr

Lehreinheit 09 Prozesssimulation II: Prozesssimulation mit einfachen Petri-Netzen Wintersemester 2012/2013

Lehreinheit 09 Prozesssimulation II: Prozesssimulation mit einfachen Petri-Netzen Wintersemester 2012/2013 Dynamiche Unternehmenmodellierung und -imulation (ehemal: Buine Dynamic - Dynamiche Modellierung und Simulation komplexer Gechäftyteme, Arbeitwienchaft V) Lehreinheit 09 Prozeimulation : Prozeimulation

Mehr

Periodische Fahrpläne und Kreise in Graphen

Periodische Fahrpläne und Kreise in Graphen Periodische Fahrpläne und Kreise in Graphen Vorlesung Algorithmentechnik WS 2009/10 Dorothea Wagner Karlsruher Institut für Technologie Eisenbahnoptimierungsprozess 1 Anforderungserhebung Netzwerkentwurf

Mehr

Das Business im Process: Warum Anwender nicht BPMN sprechen

Das Business im Process: Warum Anwender nicht BPMN sprechen Das Business im Process: Warum Anwender nicht BPMN sprechen Andreas Wußler, PROMATIS software GmbH Ettlingen, 15. November 2011 1 Agenda Einleitung Petri-Netze XML-Netze BPMN 2.0 Warum Projekte scheitern

Mehr

Petri-Netze. Literatur. Definition

Petri-Netze. Literatur. Definition FGIS SS 2009 3. Petri-Netze 3. FGIS SS 2009 3. Petri-Netze 3. Petri-Netze Literatur Definition Ein Informationssystem ist ein System, das einem Benutzer beim Auffinden, Speichern und Verarbeiten von Informationen

Mehr

8. Petrinetze und Workflows 1

8. Petrinetze und Workflows 1 8. Petrinetze und Workflows Ein anschauliches Beispiel GBIS-Rahmen: Einordnung Petrinetz Anwendung Daten Steuerung Funktionen SW-Architektur Elemente der Petrinetz-Theorie - statische und dynamische Elemente

Mehr

Motivation. Motivation

Motivation. Motivation Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2012 Universität Duisburg-Essen Was sind nebenläufige Systeme? Ganz allgemein: Systeme, bei denen mehrere Komponenten/Prozesse nebenläufig arbeiten

Mehr

Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E. Vorlesungsskript

Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E. Vorlesungsskript Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E Vorlesungsskript Magdeburg, Oktober 2008 Januar 2009 Vorwort Petri-Netze gehören zu den meist

Mehr

Tangentengleichung. Wie lautet die Geradengleichung für die Tangente, y T =? Antwort:

Tangentengleichung. Wie lautet die Geradengleichung für die Tangente, y T =? Antwort: Tangentengleichung Wie Sie wissen, gibt die erste Ableitung einer Funktion deren Steigung an. Betrachtet man eine fest vorgegebene Stelle, gibt f ( ) also die Steigung der Kurve und somit auch die Steigung

Mehr

Modellierung von Arbeitsprozessen

Modellierung von Arbeitsprozessen Informatik II: Modellierung Prof. Dr. Martin Glinz Kapitel 9 Modellierung von Arbeitsprozessen Universität Zürich Institut für Informatik Inhalt 9.1 Grundlagen 9.2 Ereignisgesteuerte Prozessketten (EPK)

Mehr

J. Prof. Dr.-Ing. Georg Frey Juniorprofessur Agentenbasierte Automatisierung. Laborunterlagen zum Themengebiet Steuerungstechnik. zusammengestellt von

J. Prof. Dr.-Ing. Georg Frey Juniorprofessur Agentenbasierte Automatisierung. Laborunterlagen zum Themengebiet Steuerungstechnik. zusammengestellt von J. Prof. Dr.-Ing. Georg Frey Juniorprofessur Agentenbasierte Automatisierung Laborunterlagen zum Themengebiet Steuerungstechnik zusammengestellt von Georg Frey und Stéphane Klein Modul 2 Steuerungsentwurf

Mehr

Analyse von Petri-Netzen

Analyse von Petri-Netzen Universität Stuttgart Institut für Technische Informatik Hauptseminar: Architektur und Entwurfsmethoden eingebetteter Systeme Analyse von Petri-Netzen Manuela Antonovic 8. Semester Betreuer: Dominik Lücke

Mehr

Seminar Werkzeuggestütze. tze Softwareprüfung. fung. Slicing. Sebastian Meyer

Seminar Werkzeuggestütze. tze Softwareprüfung. fung. Slicing. Sebastian Meyer Seminar Werkzeuggestütze tze Softwareprüfung fung Slicing Sebastian Meyer Überblick Einführung und Begriffe Static Slicing Dynamic Slicing Erweiterte Slicing-Techniken Fazit 2 Was ist Slicing?? (I) Program

Mehr

Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E. Vorlesungsskript

Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E. Vorlesungsskript Prof. Dr. Jürgen Dassow Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik P E T R I N E T Z E Vorlesungsskript Magdeburg, April 2007 Juli 2007 Inhaltsverzeichnis Vorwort 1 1 Einführende Beispiele

Mehr

Entwurf und Implementierung eines Analysewerkzeuges für das Systemmodell des adaptiv-dynamischen Replikationsrahmenwerkes adgsv

Entwurf und Implementierung eines Analysewerkzeuges für das Systemmodell des adaptiv-dynamischen Replikationsrahmenwerkes adgsv CARL VON OSSIETZKY DEPARTMENT FÜR INFORMATIK SYSTEMSOFTWARE UND VERTEILTE SYSTEME Entwurf und Implementierung eines Analysewerkzeuges für das Systemmodell des adaptiv-dynamischen Replikationsrahmenwerkes

Mehr

Kapitel 4: Analyse von Petrinetzen

Kapitel 4: Analyse von Petrinetzen Kapitel 4: Analyse von Petrinetzen 1. Beispiele 2. Analyseansatz 3. Markierungsgraph 4. Beschränktheit 5. State Space Explosion: Beispiel 6. Komplementbildung 7. Zusammenhängend 8. Tot, lebendig, verklemmungsfrei

Mehr

Bericht 240. Untersuchung der Beziehungen zwischen Eigenschaften von Petrinetzen. Simon Kohl

Bericht 240. Untersuchung der Beziehungen zwischen Eigenschaften von Petrinetzen. Simon Kohl Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg Bericht 240 Untersuchung der Beziehungen zwischen Eigenschaften von Petrinetzen Simon Kohl Juni 2002 Zusammenfassung In dieser

Mehr

BABOK Knowledge Area Requirements Analysis Modeling Techniques - Process Models - - State Diagrams - Holger Dexel, 26.02.2011

BABOK Knowledge Area Requirements Analysis Modeling Techniques - Process Models - - State Diagrams - Holger Dexel, 26.02.2011 BABOK Knowledge Area Requirements Analysis Modeling Techniques - Process Models - - State Diagrams - Holger Dexel, 26.02.2011 This presentation is build upon material of the Business Analysis Body of Knowledge

Mehr

Guten Morgen und Willkommen zur Saalübung!

Guten Morgen und Willkommen zur Saalübung! Guten Morgen und Willkommen zur Saalübung! 1 Wie gewinnt man ein Spiel? Was ist ein Spiel? 2 Verschiedene Spiele Schach, Tic-Tac-Toe, Go Memory Backgammon Poker Nim, Käsekästchen... 3 Einschränkungen Zwei

Mehr

Computerviren, Waldbrände und Seuchen - ein stochastisches Modell für die Reichweite einer Epidemie

Computerviren, Waldbrände und Seuchen - ein stochastisches Modell für die Reichweite einer Epidemie Computerviren, Waldbrände und Seuchen - ein stochastisches für die Reichweite einer Epidemie Universität Hildesheim Schüler-Universität der Universität Hildesheim, 21.06.2012 Warum Mathematik? Fragen zum

Mehr

2.4.3 Zustandsgraphen

2.4.3 Zustandsgraphen 2.4.3 Zustandsgraphen Folie 2-1+45 Paradigma der Zustandsmodellierung Zustandsmodellierung betrachtet ein System als Zustandsautomaten beschreibt die Zerlegung in Zustände und Zustandsübergänge orientiert

Mehr

Projektdokumentation

Projektdokumentation Beschränkte Petrinetze Projektdokumentation Autoren: Michael Große Arne Brutschy 19. Februar 2003 Beschränkte Petrinetze - Dokumentation Version 0.01 2 3 Copyright c 2002 Michael Große, Arne Brutschy This

Mehr

2.4.3 Zustandsgraphen

2.4.3 Zustandsgraphen 2.4.3 Zustandsgraphen Folie 2-1+45 Paradigma der Zustandsmodellierung Zustandsmodellierung betrachtet ein System als Zustandsautomaten beschreibt die Zerlegung in Zustände und Zustandsübergänge orientiert

Mehr

Aufgabe 1: Beschreibung des Forschungsgebietes der Wirtschaftsinformatik

Aufgabe 1: Beschreibung des Forschungsgebietes der Wirtschaftsinformatik Übungsblatt 01 / 2011 Datum: 5. Mai 2011 Aufgabe 1: Beschreibung des Forschungsgebietes der Wirtschaftsinformatik Beschreiben Sie das Lehr- und Forschungsgebiet der Wirtschaftsinformatik und zeigen Sie

Mehr

Masterarbeit. Funktionale Analyse von Queueing-Petri-Netzen durch Reduktion der Netzstruktur. Ella Albrecht 2. Februar 2015

Masterarbeit. Funktionale Analyse von Queueing-Petri-Netzen durch Reduktion der Netzstruktur. Ella Albrecht 2. Februar 2015 Masterarbeit Funktionale Analyse von Queueing-Petri-Netzen durch Reduktion der Netzstruktur Ella Albrecht 2. Februar 2015 Gutachter: Dr. Falko Bause Prof. Dr. Peter Buchholz Technische Universität Dortmund

Mehr

Erzeugung zufälliger Graphen und Bayes-Netze

Erzeugung zufälliger Graphen und Bayes-Netze Erzeugung zufälliger Graphen und Bayes-Netze Proseminar Algorithmen auf Graphen Georg Lukas, IF2000 2002-07-09 E-Mail: georg@op-co.de Folien: http://op-co.de/bayes/ Gliederung 1. Einleitung 2. einfache

Mehr

6. Steuerungstechnik Teil IV

6. Steuerungstechnik Teil IV 6. Steuerungstechnik Teil IV Das gezielte Beeinflussen von Vorgängen, denen ein schrittweiser, d.h. diskreter Ablauf zugrunde liegt, gehört in der Automatisierungstechnik neben der Regelung bzw. Steuerung

Mehr

Petri-Netze. Renate Klempien-Hinrichs und Caro von Totth. Wer sind wir?

Petri-Netze.  Renate Klempien-Hinrichs und Caro von Totth. Wer sind wir? Petri-Netze http://www.informatik.uni-bremen.de/theorie/teach/petri Renate Klempien-Hinrichs und Caro von Totth Wer sind wir? Wie ist der Kurs organisiert? Worum geht es? Wer sind wir? 1.1 Renate Klempien-Hinrichs

Mehr

Das Business im Prozess: Warum Anwender nicht BPMN sprechen

Das Business im Prozess: Warum Anwender nicht BPMN sprechen Das Business im Prozess: Warum Anwender nicht BPMN sprechen Andreas Wußler PROMATIS software GmbH Ettlingen Schlüsselworte: BPMN 2.0, SOA, XML-Netze, Petri-Netze, Horus Business Modeler, Oracle BPM Suite

Mehr

Geschäftsprozessanalyse

Geschäftsprozessanalyse Geschäftsprozessanalyse Prozessmodellierung weitere Begriffe: workflow business process modelling business process (re-)engineering 2 Was ist ein Prozess? Prozesse bestehen aus Aktionen / Ereignissen /

Mehr

Motivation: Petrinetze. Vorlesung Modellierung Wintersemester 2014/15. Petri-Netze (Folien teilw. von Prof. B. König) Motivation: Petrinetze

Motivation: Petrinetze. Vorlesung Modellierung Wintersemester 2014/15. Petri-Netze (Folien teilw. von Prof. B. König) Motivation: Petrinetze Motivation: Petrinetze Vorlesung Modellierung Wintersemester 2014/15 Petri-Netze (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Petrinetze sind ein Formalismus zur Modellierung von nebenläufigen

Mehr

Anwendungen von Graphen

Anwendungen von Graphen Anwendungen von Graphen Strassen- und Verkehrsnetze Computernetzwerke elektrische Schaltpläne Entity-Relationship Diagramme Beweisbäume endliche Automaten Syntaxbäume für Programmiersprachen Entscheidungsbäume

Mehr

Elementare Definitionen. Anwendungen von Graphen. Formalisierung von Graphen. Formalisierung von Digraphen. Strassen- und Verkehrsnetze

Elementare Definitionen. Anwendungen von Graphen. Formalisierung von Graphen. Formalisierung von Digraphen. Strassen- und Verkehrsnetze Anwendungen von Graphen Strassen- und Verkehrsnetze Computernetzwerke Elementare Definitionen Ein Graph besteht aus Knoten und Kanten, die die Knoten verbinden. elektrische Schaltpläne Entity-Relationship

Mehr

Information Systems Engineering Seminar

Information Systems Engineering Seminar Information Systems Engineering Seminar Algorithmische Prüfung der Planarität eines Graphen Marcel Stüttgen, 22.10.2012 FH AACHEN UNIVERSITY OF APPLIED SCIENCES 1 Planarität - Definition Ein Graph heißt

Mehr

FernUniversität Hagen

FernUniversität Hagen Einsatz von Echtzeitstrategien in der MES-Automatisierung Michael Roth TU Kaiserslautern Lehrstuhl für Software Engineering: Dependability michael.roth@informatik.uni-kl.de 1 Agenda Motivation Modellierungssprache

Mehr

Universität Trier. FB IV Wirtschafts- und Sozialwissenschaften. SS 2008 Veranstalterin: Dipl.-Wirt.-Inf. Ariane Gramm

Universität Trier. FB IV Wirtschafts- und Sozialwissenschaften. SS 2008 Veranstalterin: Dipl.-Wirt.-Inf. Ariane Gramm Universität Trier FB IV Wirtschafts- und Sozialwissenschaften SS 2008 Veranstalterin: Dipl.-Wirt.-Inf. Ariane Gramm Übung Wirtschaftsinformatik I Teil 2 Thema: Erläuterung der eepk Eingereicht am 12.06.2008

Mehr

Kapitel 3: Workflow-Modellierungssprachen Einführung in High-Level Petrinetze

Kapitel 3: Workflow-Modellierungssprachen Einführung in High-Level Petrinetze Kapitel 3: Workflow-Modellierungssprachen Einführung in High-Level Petrinetze 1. Überblick über Modellierungssprachen 1. Ziel: Analyse 2. Modellierungssprachen: Perspektiven und Anforderungen 2. Petrinetze

Mehr

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!. 040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl

Mehr

Übungen Workflow Management. Blatt 2

Übungen Workflow Management. Blatt 2 Übungen Workflow Management Blatt 2 Aufgabe 1: Erstellen Sie ein Petrinetz inklusive Anfangsmarkierung für den im Folgenden beschriebenen Prozess zur Bearbeitung einer Münzbestellung. Zuerst geht eine

Mehr

Eine Transition t 2 T ist im Modus μ 2 M bzgl. der Markierung m 0 2 IR L 0 aktiviert, wenn gilt: Pre t;μ» m 0 : Schaltet eine bzgl. m 0 im Modus μ akv

Eine Transition t 2 T ist im Modus μ 2 M bzgl. der Markierung m 0 2 IR L 0 aktiviert, wenn gilt: Pre t;μ» m 0 : Schaltet eine bzgl. m 0 im Modus μ akv Das Erreichbarkeitsproblem für Stetige Petri-Netze ist entscheidbar von Nicolas Schiller Fachbereich Mathematik Johann Wolfgang Goethe-Universität Frankfurt am Main August 1999 Zusammenfassung Petri-Netze

Mehr

H. Gruber, R. Neumann. Erfolg im Mathe-Abi. Übungsbuch für die optimale Vorbereitung in Analysis, Geometrie und Stochastik mit verständlichen Lösungen

H. Gruber, R. Neumann. Erfolg im Mathe-Abi. Übungsbuch für die optimale Vorbereitung in Analysis, Geometrie und Stochastik mit verständlichen Lösungen H. Gruber, R. Neumann Erfolg im Mathe-Abi Übungsbuch für die optimale Vorbereitung in Analysis, Geometrie und Stochastik mit verständlichen Lösungen Inhaltsverzeichnis Inhaltsverzeichnis Analysis Von der

Mehr

Kapitel 6. Konsistenz. 6.1 Ablaufkonsistenz: Workflow. 6.2 Datenkonsistenz: Serialisierbarkeit

Kapitel 6. Konsistenz. 6.1 Ablaufkonsistenz: Workflow. 6.2 Datenkonsistenz: Serialisierbarkeit Kapitel 6 Konsistenz 6.1 Ablaufkonsistenz: Workflow 6.2 Datenkonsistenz: Serialisierbarkeit 6.1 Ablaufkonsistenz: Workflow nden Informationssysteme aus (application systems, APPL), rating system, OS) aufsetzten

Mehr

Übersicht. Nebenläufige Programmierung. Praxis und Semantik. Einleitung. Sequentielle und nebenläufige Programmierung. Warum ist. interessant?

Übersicht. Nebenläufige Programmierung. Praxis und Semantik. Einleitung. Sequentielle und nebenläufige Programmierung. Warum ist. interessant? Übersicht Aktuelle Themen zu Informatik der Systeme: Nebenläufige Programmierung: Praxis und Semantik Einleitung 1 2 der nebenläufigen Programmierung WS 2011/12 Stand der Folien: 18. Oktober 2011 1 TIDS

Mehr

Programmierparadigmen. Programmierparadigmen. Imperatives vs. objektorientiertes Programmieren. Programmierparadigmen. Agenda für heute, 4.

Programmierparadigmen. Programmierparadigmen. Imperatives vs. objektorientiertes Programmieren. Programmierparadigmen. Agenda für heute, 4. Agenda für heute, 4. Mai, 2006 Programmierparadigmen Imperative Programmiersprachen In Prozeduren zusammengefasste, sequentiell ausgeführte Anweisungen Die Prozeduren werden ausgeführt, wenn sie als Teil

Mehr

Prozeßmodellierung mit. ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen

Prozeßmodellierung mit. ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen 1 Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen Peter Langner 1 Christoph Schneider 2 Joachim Wehler 3 Versandanschrift: Joachim Wehler, Döllingerstraße 35, D-80639 München,

Mehr

Microsoft Office Visio 2007 Infotag SemTalk Thema: Prozessmodellierung

Microsoft Office Visio 2007 Infotag SemTalk Thema: Prozessmodellierung Microsoft Office Visio 2007 Infotag SemTalk Thema: Prozessmodellierung Dr.-Ing. Frauke Weichhardt, Semtation GmbH Christian Fillies, Semtation GmbH Claus Quast, Microsoft Deutschland GmbH Prozessmodellierung

Mehr

Scheduling und Lineare ProgrammierungNach J. K. Lenstra, D. B. Shmoys und É.

Scheduling und Lineare ProgrammierungNach J. K. Lenstra, D. B. Shmoys und É. Scheduling und Lineare ProgrammierungNach J. K. Lenstra, D. B. Shmoys und É. Tardos Janick Martinez Esturo jmartine@techfak.uni-bielefeld.de xx.08.2007 Sommerakademie Görlitz Arbeitsgruppe 5 Gliederung

Mehr

Extrema von Funktionen in zwei Variablen

Extrema von Funktionen in zwei Variablen Wirtschaftswissenschaftliches Zentrum Universität Basel Mathematik für Ökonomen 1 Dr. Thomas Zehrt Extrema von Funktionen in zwei Variablen Literatur: Gauglhofer, M. und Müller, H.: Mathematik für Ökonomen,

Mehr

Graphen: Datenstrukturen und Algorithmen

Graphen: Datenstrukturen und Algorithmen Graphen: Datenstrukturen und Algorithmen Ein Graph G = (V, E) wird durch die Knotenmenge V und die Kantenmenge E repräsentiert. G ist ungerichtet, wenn wir keinen Start- und Zielpunkt der Kanten auszeichnen.

Mehr

Definition eines Spiels

Definition eines Spiels Definition eines piels 1. Einleitung 1.1 Einführung: Die mathematische pieltheorie beschäftigt sich nicht nur mit der Beschreibung und Analyse von pielen im üblichen inn, sondern allgemein mit Konfliktsituationen

Mehr

Holistische Betrachtung von Stoff- und Energieflüssen mittels Petri-Netzen

Holistische Betrachtung von Stoff- und Energieflüssen mittels Petri-Netzen Holistische Betrachtung von Stoff- und Energieflüssen mittels Petri-Netzen Dr. Martin Nagel Universität Erlangen-Nürnberg, Department Chemie- und Bioingenieurwesen, Lehrstuhl für Strömungsmechanik Motivation

Mehr

Flüsse, Schnitte, bipartite Graphen

Flüsse, Schnitte, bipartite Graphen Flüsse, Schnitte, bipartite Graphen Thomas Fersch mail@t-fersch.de 11.06.2010 Seminar "Hallo Welt!" für Fortgeschrittene 1 Übersicht Maximale Flüsse in Netzwerken Worum geht s? Lösung nach Ford-Fulkerson

Mehr

Datenbankanwendung. Prof. Dr.-Ing. Sebastian Michel TU Kaiserslautern. Wintersemester 2014/15. smichel@cs.uni-kl.de

Datenbankanwendung. Prof. Dr.-Ing. Sebastian Michel TU Kaiserslautern. Wintersemester 2014/15. smichel@cs.uni-kl.de Datenbankanwendung Wintersemester 2014/15 Prof. Dr.-Ing. Sebastian Michel TU Kaiserslautern smichel@cs.uni-kl.de Wiederholung: Anfragegraph Anfragen dieses Typs können als Graph dargestellt werden: Der

Mehr

FB IV Mathematik Universität Trier. Präsentation von Nadja Wecker

FB IV Mathematik Universität Trier. Präsentation von Nadja Wecker FB IV Mathematik Universität Trier Präsentation von Nadja Wecker 1) Einführung Beispiele 2) Mathematische Darstellung 3) Numerischer Fluss für Diffusionsgleichung 4) Konvergenz 5) CFL-Bedingung 6) Zusammenfassung

Mehr

Software Engineering in der Praxis Praktische Übungen

Software Engineering in der Praxis Praktische Übungen Software Engineering in der Praxis Praktische Übungen Pinte, Spisländer FAU Erlangen-Nürnberg Objektorientierte Analyse 1 / 14 1 Inhalt 2 Überblick 3 Werkzeuge 4 Aufgaben Pinte, Spisländer FAU Erlangen-Nürnberg

Mehr

Ein einfaches Modell zur Fehlerfortpflanzung

Ein einfaches Modell zur Fehlerfortpflanzung Ein einfaches Modell zur Fehlerfortpflanzung Jens Chr. Lisner lisner@dc.uni-due.de ICB / Universität Duisburg-Essen AK Fehlertoleranz 11/2006 p. Problemstellung Üblich bei der Formalisierung von Systemen:

Mehr

robin bergenthum V E R I F I K AT I O N V O N H A L B G E O R D N E T E N A B L Ä U F E N I N P E T R I N E T Z E N

robin bergenthum V E R I F I K AT I O N V O N H A L B G E O R D N E T E N A B L Ä U F E N I N P E T R I N E T Z E N robin bergenthum V E R I F I K AT I O N V O N H A L B G E O R D N E T E N A B L Ä U F E N I N P E T R I N E T Z E N V E R I F I K AT I O N V O N H A L B G E O R D N E T E N A B L Ä U F E N I N P E T R

Mehr

Data Mining: Einige Grundlagen aus der Stochastik

Data Mining: Einige Grundlagen aus der Stochastik Data Mining: Einige Grundlagen aus der Stochastik Hagen Knaf Studiengang Angewandte Mathematik Hochschule RheinMain 21. Oktober 2015 Vorwort Das vorliegende Skript enthält eine Zusammenfassung verschiedener

Mehr

Dipl.-Inform. Lars Ebrecht

Dipl.-Inform. Lars Ebrecht Konsistente Verknüpfung von Aktivitäts-, Sequenzund Zustandsdiagrammen Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen Dipl.-Inform. Lars Ebrecht Mobilität

Mehr