SYNTHESE ELEMENTARER PETRINETZE
|
|
- Dominic Beckenbauer
- vor 6 Jahren
- Abrufe
Transkript
1 SYNTHESE ELEMENTARER PETRINETZE OBERSEMINARVORTRAG VON MARTIN CANDROWICZ 27. MAI 2016
2 GLIEDERUNG 1. PETRINETZE 2. TRANSITIONSSYSTEME 3. MOTIVATION 4. ALGORITHMUS ZUR SYNTHESE ELEMENTARER PETRINETZE 1. REGION 2. SUCHE VON REGIONEN 3. PRÜFUNG DER REGIONMENGE AUF ZULÄSSIGKEIT 4. BEISPIEL 5. WEITERES VORGEHEN 1. ZIELE DER BACHELORARBEIT 2. ZEITPLAN 3. LITERATUR 4. TOOLS
3 PETRINETZE
4 PETRINETZ 1962 von Carl Adam Petri entwickelt Graphisches Mittel zur Beschreibung von dynamischen Systemen Identifikation von Deadlocks oder unerreichbarem Code Finden auch in Bereichen außerhalb der Informatik Gebrauch Andere Modelierungstechniken basieren auf den Prinzipien der Petrinetze
5 KOMPONENTEN gerichteter Graph Stelle modelliert Zustände und kann Token lagern Transition kann Token erzeugen, verbrauchen oder transportieren Kante verbindet Stelle und Transition oder umgekehrt Markierung ist Anzahl der Token auf jeder Stelle Formal angegeben als Tupel P = (S, T, B, F) M =( ) 1 0
6 FEUERN EINER TRANSITION Transition kann schalten, wenn Eingabestelle über ausreichend Token verfügt Aus Eingabestellen werden Token entfernt Transition 0 kann feuern Zur Ausgabestelle werden Token hinzugefügt
7 FEUERN EINER TRANSITION Transition kann schalten, wenn Eingabestelle über ausreichend Token verfügt Aus Eingabestellen werden Token entfernt Transition 0 wurde gefeuert Zur Ausgabestelle werden Token hinzugefügt
8 ELEMENTARES PETRINETZ Zustand: 0 Token (unmarkiert) 1 Token (markiert) Keine Kantengewichte>1: Keine Schleifen:
9 PETRINETZ (KRITISCHER ABSCHNITT)
10 PETRINETZ (KRITISCHER ABSCHNITT)
11 PETRINETZ (KRITISCHER ABSCHNITT)
12 PETRINETZ (KRITISCHER ABSCHNITT)
13 PETRINETZ (KRITISCHER ABSCHNITT)
14 TRANSITIONSSYSTEME
15 ERREICHBARKEITSGRAPH Erreichbarkeitsgraphen sind beschriftete Transitionssysteme Überblick über das Systemverhalten Analyse des Petrinetzes Berechnung mittels Breitensuche Startmarkierung M0 Neu gefundene Markierung in Menge aufnehmen Wiederholen bis alle Folgemarkierungen aufgenommen worden sind
16 BEISPIEL
17 BEISPIEL
18 BEISPIEL
19 BEISPIEL
20 BEISPIEL
21 BEISPIEL
22 BEISPIEL
23 BEISPIEL
24 BEISPIEL
25 BEISPIEL
26 BEISPIEL
27 BEISPIEL
28 BEISPIEL
29 BEISPIEL
30 MOTIVATION Mittels Petrinetze lassen sich parallele Abläufe sehr gut darstellen Nebenläufigkeit kommt zum Vorschein Algorithmus zur Erstellung eines Erreichbarkeitsgraphen aus Petrinetz ist leicht nachvollziehbar Synthese Algorithmus: Sequenzielle Eingabe (Transitionssystem) und parallele Ausgabe (Petrinetz) Petrinetze sind deutlich kompakter, besser lesbar und strukturierter als Transitionssysteme
31 ALGORITHMUS ZUR SYNTHESE
32 BEISPIEL Stelle semaphor ist markiert Man befindet man sich in einem der vier blauen Zustände im Transistionssystem Die vier Stellen im Transitionssystem bilden zusammen eine Region
33 REGIONEN Ein Event kann entweder die Region betreten oder die Region verlassen oder die Grenze der Region nicht überschreiten
34 SYNTHESE ELEMENTARER PETRINETZE Aus einem Transitionssystem wird ein elementares Petrinetz erstellt Das Petrinetz ist nicht eindeutig Verschiedene Petrinetze können den selben Erreichbarkeitsgraphen besitzen Aus nicht allen Transitionssystemen lässt sich ein Petrinetz generieren Vorgehensweise 1. Regionen finden 2. Prüfen, ob Menge der Regionen zulässig ist 3. Falls ja, Petrinetz erstellen
35 BEISPIEL ZUR REGIONENSUCHE Label a soll Region verlassen R. betreten R. verlassen R. nicht überschreiten
36 BEISPIEL ZUR REGIONENSUCHE Label a soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 a > S1 S2 a > S3
37 BEISPIEL ZUR REGIONENSUCHE Label a soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 a > S1 S2 a > S3 S0 b > S2 S1 b > S3
38 BEISPIEL ZUR REGIONENSUCHE Label a soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 a > S1 S2 a > S3 S0 b > S2 S1 b > S3 S3 c > S4 Fertige Region: {S0, S2} Betreten von - Verlassen von a
39 BEISPIEL ZUR REGIONENSUCHE Label a soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S3 c > S4 S0 a > S1 S0 b > S2 S2 a > S3 S1 b > S3 Fertige Region: {S0, S2, S4} Betreten von c Verlassen von a
40 BEISPIEL ZUR REGIONENSUCHE Label b soll Region verlassen R. betreten R. verlassen R. nicht überschreiten
41 BEISPIEL ZUR REGIONENSUCHE Label b soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 b > S2 S1 b > S3 S0 a > S1 S2 a > S3
42 BEISPIEL ZUR REGIONENSUCHE Label b soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 b > S2 S1 b > S3 S0 a > S1 S2 a > S3 S3 c > S4 Fertige Region: {S0, S1} Betreten von - Verlassen von b
43 BEISPIEL ZUR REGIONENSUCHE Label b soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S3 c > S4 S0 b > S2 S0 a > S1 S1 b > S3 S2 a > S3 Fertige Region: {S0, S1, S4} Betreten von c Verlassen von b
44 BEISPIEL ZUR REGIONENSUCHE Label c soll Region verlassen R. betreten R. verlassen R. nicht überschreiten
45 BEISPIEL ZUR REGIONENSUCHE Label c soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S3 c > S4
46 BEISPIEL ZUR REGIONENSUCHE Label c soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 a > S1 S3 c > S4 S0 b > S2 S2 a > S3 S1 b > S3 Fertige Region: {S1, S3} Betreten von a Verlassen von c
47 BEISPIEL ZUR REGIONENSUCHE Label c soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S0 b > S2 S3 c > S4 S0 a > S1 S1 b > S3 S2 a > S3 Fertige Region: {S2, S3} Betreten von b Verlassen von c
48 BEISPIEL ZUR REGIONENSUCHE Label c soll Region verlassen R. betreten R. verlassen R. nicht überschreiten S3 c > S4 S0 a > S1 S2 a > S3 S0 b > S2 S1 b > S3 Fertige Region: {S0, S1, S2, S3} Betreten von - Verlassen von c
49 BEISPIEL ZUR REGIONENSUCHE Alle berechneten Regionen: {S0, S2} {S0, S2, S4} {S0, S1} {S0, S1, S4} {S1, S3} {S2, S3} {S0, S1, S2, S3}
50 BEISPIEL ZUR REGIONENSUCHE Alle minimalen Regionen: {S0, S2} {S0, S2, S4} {S0, S1} {S0, S1, S4} {S1, S3} {S2, S3} {S0, S1, S2, S3}
51 SYNTHETISIERTES PETRINETZ {S0, S2} verlassen von a {S0, S1} verlassen von b {S1, S3} betreten von a verlassen von c {S2, S3} betreten von b verlassen von c
52 SYNTHETISIERTES PETRINETZ Eingabe: Transitionssystem Ausgabe: Petrinetz
53 REGIONENMENGE PRÜFEN Prüfen, ob folgende Bedingungen überprüft sind Falls beide Voraussetzungen erfüllt sind, ist die Regionmenge zulässig
54 FEHLSCHLAG DER 1. BEDINGUNG Gegebenes TS:
55 FEHLSCHLAG DER 1. BEDINGUNG Gegebenes TS: Mögliches Petrinetz:
56 FEHLSCHLAG DER 1. BEDINGUNG Gegebenes TS: Mögliches Petrinetz: Resultierendes TS: Zustand s1 und s2 lassen sich nicht trennen Es lässt sich kein Petrinetz finden, dessen TS Isomorph zur Eingabe ist
57 FEHLSCHLAG DER 2. BEDINGUNG Gegebenes TS:
58 FEHLSCHLAG DER 2. BEDINGUNG Gegebenes TS: Mögliches Petrinetz:
59 FEHLSCHLAG DER 2. BEDINGUNG Gegebenes TS: Mögliches Petrinetz: Resultierendes TS: Im Zustand s lässt sich Transition c nicht verhindern Es lässt sich kein Petrinetz finden, dessen TS Isomorph zur Eingabe ist
60 VORGEHEN
61 ZIELE DER BACHELORARBEIT Implementierung einer elementaren Petrinetz Synthese in APT Diese soll schneller als der bereits vorhandene Algorithmus funktionieren Analyse der neuen Implementierung Effizienz, Korrektheit, Zuverlässigkeit Benchmark zwischen dem neuen Synthese und dem bereits vorhandenen Synthese Algorithmus
62 ZEITPLAN Aufgabe Verstehen der elementaren Petrinetz Synthese Implementierung der Synthese in APT Analyse der Synthese und ggf. Korrektur Benchmark Fertigstellung der Rohfassung Erstellen der Endfassung (Vollständigkeit, Überleitungen, Endkorrektur) Druck und Ausgabe Zeitpuffer Dauer 1 Woche 4 Wochen 2 Wochen 1 Woche 3 Wochen 3 Wochen 1 Woche 1 Woche
63 LITERATUR Petri Net Synthesis (Eric Badouel, Luca Bernardinello, Philippe Darondeau) Skriptum zum Modul Petri-Netze (Eike Best, Harro Wimmel)
64 TOOLS LaTeX Zum Verfassen der Bachelorarbeit Platform Independent Petri net Editor (PIPE) / Graphviz Zum Zeichnen von Petrinetzen
65 VIELEN DANK FÜR IHRE AUFMERKSAMKEIT
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
MehrHallo liebe Studenten,
Hallo liebe Studenten, willkommen im Seminar 1917. Mit diesem Schreiben möchte ich erste Informationen über den Verlauf des Seminars für Sie bereitstellen. Dieses Semester haben wir 13 Teilnehmer in unserem
MehrPetri-Netze / Eine Einführung (Teil 2)
Manuel Hertlein Seminar Systementwurf Lehrstuhl Theorie der Programmierung Wiederholung (1) Petri-Netz = bipartiter, gerichteter Graph Aufbau: Plätze (passive Komponenten) Transitionen (aktive Komponenten)
MehrWarum 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
MehrPetrinetze und GPSS/H
Hochschule Mittweida (FH) Seminararbeit Simulation 11. Januar 2006 Agenda 1 2 3 4 Agenda 1 2 3 4 Themen Modellierung von dynamischen Systemen Formale Modellierung von nebenläufigen Systemen Simulation
MehrSpezifikation von Kommunikationssystemen
1 / 32 Spezifikation von Kommunikationssystemen 2. Spezifikation und Konformität Prof. Jochen Seitz Fachgebiet Kommunikationsnetze 13. April 2018 2 / 32 Übersicht 1 Spezifikation 2 Formale Systemspezifikation
Mehr3.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
MehrStochastische Petrinetze
Stochastische Petrinetze Proseminar WS06 The Virtual Laboratory Nils Müller Stochastische Petrinetze 1. Begriffsdefinition 1.1. Wdh. Stochastik 1.2. Wdh. Petrinetze 2. zeiterweiterte Petrinetze 2.1. Stochastische
MehrModellierung 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
MehrModellierungsmethoden 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
MehrSoftware-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
MehrAufgaben 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
MehrProjektdokumentation
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
MehrKapitel 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
MehrHigh-Level Petrinetze. SE Analyse von Petrinetzen Jan Sürmeli
High-Level Petrinetze SE Analyse von Petrinetzen Jan Sürmeli 13.02.2008 Motivation: 3 Philosophen, Low Level 2 Motivation: 4 Philosophen, Low Level 3 Motivation: Ein Lösungsansatz Petrinetze werden schnell
MehrEinfü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
MehrInterleaving-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.
MehrBipartite Graphen. Beispiele
Bipartite Graphen Ein Graph G = (V, E) heiÿt bipartit (oder paar), wenn die Knotenmenge in zwei disjunkte Teilmengen zerfällt (V = S T mit S T = ), sodass jede Kante einen Knoten aus S mit einem Knoten
MehrPetri-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
MehrEinfü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
MehrModellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit
Modellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit intralogistischer Systeme Dipl.-Logist. Eike-Niklas Jung Seite 1 / 20 Gliederung Motivation & Zielsetzung Grundlagen Merkmale
MehrWS 2013/14. Diskrete Strukturen
WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314
MehrEinfü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
MehrPetri-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
MehrDatenstrukturen und Algorithmen 2. Klausur SS 2001
UNIVERSITÄT PADERBORN FACHBEREICH 7 (MATHEMATIK INFORMATIK) Datenstrukturen und Algorithmen 2. Klausur SS 200 Lösungsansätze Dienstag, 8. September 200 Name, Vorname:...................................................
MehrGenerierung von Steuerungsprogrammcode für SPS und μc aus Petri-Netz-Modellen
Fachhochschule Köln Cologne University of Applied Sciences Fakultät für Informations-, Medien- und Elektrotechnik Institut für Automatisierungstechnik Labor für Informations- und Automatisierungstechnik
MehrAnhang: Ungarische Methode
Ungarische Methode 107 Anhang: Ungarische Methode Zum Schluss des Kurses soll noch der Algorithmus der Ungarischen Methode beschrieben werden. Wir lehnen uns hierbei eng an der Darstellung von DOMSCHKE
MehrDiskrete Strukturen Kapitel 4: Graphentheorie (Bäume)
WS 2016/17 Diskrete Strukturen Kapitel 4: Graphentheorie (Bäume) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrName:... Vorname:... Matr.-Nr.:... Studiengang:...
Technische Universität Braunschweig Sommersemester 2013 IBR - Abteilung Algorithmik Prof. Dr. Sándor P. Fekete Dr. Christiane Schmidt Stephan Friedrichs Klausur Netzwerkalgorithmen 16.07.2013 Name:.....................................
MehrVorlesung Datenstrukturen
Vorlesung Datenstrukturen Graphdarstellungen Maike Buchin 0.6.017 Graphen Motivation: Graphen treten häufig als Abstraktion von Objekten (Knoten) und ihren Beziehungen (Kanten) auf. Beispiele: soziale
MehrFakultät II: Informatik, Wirtschafts- und Rechtswissenschaften Department für Informatik. Projektgruppe APT
Fakultät II: Informatik, Wirtschafts- und Rechtswissenschaften Department für Informatik Projektgruppe APT Analyse von Petri-Netzen und Transitionssystemen Endbericht vom 27. März 2013 Autoren: Björn von
MehrSoftware-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
MehrLösungen zu Kapitel 5
Lösungen zu Kapitel 5 Lösung zu Aufgabe : (a) Es gibt derartige Graphen: (b) Offensichtlich besitzen 0 der Graphen einen solchen Teilgraphen. Lösung zu Aufgabe : Es sei G = (V, E) zusammenhängend und V
MehrVerhaltensanalysegraph 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...
Mehr6.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
Mehr26.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
MehrAnwendungen 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
MehrElementare 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
MehrHeute. Medium Access Control / Färbungen, Teil 2. Kapazität & Scheduling. kurze Wiederholung Schöner verteilter Färbungsalgorithmus
Heute Medium Access Control / Färbungen, Teil kurze Wiederholung Schöner verteilter Färbungsalgorithmus Kapazität & Scheduling Interferenz etwas realistischer neue Probleme und Herangehensweisen VL 0 Eine
MehrElektronik und Informatik. Petri Netze. Sommersemester Christina Chlebisz Marcel Geirhos Tobias Maas. Prof. Dr. habil.
Fakultät Elektronik und Informatik Petri Netze Sommersemester 2016 Autor: Prüfer: Christina Chlebisz Marcel Geirhos Tobias Maas Prof. Dr. habil. Thomas Thierauf Inhaltsverzeichnis 1 Einleitung 4 2 Komponenten
MehrLernmodul 7 Algorithmus von Dijkstra
Folie 1 von 30 Lernmodul 7 Algorithmus von Dijkstra Quelle: http://www.map24.de Folie 2 von 30 Algorithmus von Dijkstra Übersicht Kürzester Weg von A nach B in einem Graphen Problemstellung: Suche einer
MehrKapitel 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
MehrPetri-Netze. Petri-Netze. Nico Bühler. Albert-Ludwigs-Universität Freiburg. 14. Januar 2016
Petri-Netze Nico Bühler Albert-Ludwigs-Universität Freiburg 14. Januar 016 Inhaltsverzeichnis Petri Netze allgemein Einführendes Beispiel: Vier Jahreszeiten Wechselseitiger Ausschluss Kapazität und Gewichtung
MehrAlgorithmen und Datenstrukturen 2-1. Seminar -
Algorithmen und Datenstrukturen 2-1. Seminar - Dominic Rose Bioinformatics Group, University of Leipzig Sommersemster 2010 Outline 1. Übungsserie: 3 Aufgaben, insgesamt 30 28 Punkte A1 Spannbäume (10 8
MehrPetrinetze. 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.1 vom 10. Mai 2002 ii Vorwort Dies ist eine Vorversion eines Skripts zur
MehrIsomorphie von Bäumen
Isomorphie von Bäumen Alexandra Weinberger 23. Dezember 2011 Inhaltsverzeichnis 1 Einige Grundlagen und Definitionen 2 1.1 Bäume................................. 3 1.2 Isomorphie..............................
MehrBachelorarbeit. Florian Reiter. Modellierung und Analyse von Szenarien des Living Place mit rekonfigurierbaren Petrinetzen
Bachelorarbeit Florian Reiter Modellierung und Analyse von Szenarien des Living Place mit rekonfigurierbaren Petrinetzen Fakultät Technik und Informatik Department Informatik Faculty of Engineering and
MehrDiskrete Mathematik für Informatiker
Universität Siegen Lehrstuhl Theoretische Informatik Carl Philipp Reh Daniel König Diskrete Mathematik für Informatiker WS 016/017 Übung 7 1. Gegeben sei folgender Graph und das Matching M = {{h, f}, {c,
MehrGemeinsamkeiten 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
MehrLayout-Synthese - Globale Verdrahtung Peter Marwedel
12 Layout-Synthese - Globale Verdrahtung Peter Marwedel Universität Dortmund, Informatik 12 2008/07/05 Globale Verdrahtung, Allgemeines zur Verdrahtung 12, 2008-2- Bäume 12, 2008-3- Steiner-Bäume Def.:
MehrVerkehrsmodellierung mit THOR-Netzen Frederik Exler
Verkehrsmodellierung mit THOR-Netzen Frederik Exler 1 0. Gliederung 1. Ziel der Verkehrsmodellierung 2. Grundlagen Modell, Simulation, Petrinetze, THOR-Netze 3. Modell eines ÖPNV-Netzes Informales Modell,
MehrDiskrete Strukturen. Name Vorname Studiengang Matrikelnummer. Hörsaal Reihe Sitzplatz Unterschrift ... Allgemeine Hinweise
Technische Universität München Fakultät für Informatik Lehrstuhl für Informatik 7 Prof. Dr. Javier Esparza Wintersemester 2008/09 Abschlussklausur 7. Februar 2009 Diskrete Strukturen Name Vorname Studiengang
MehrModellierung 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
MehrOE-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
Mehr15. Elementare Graphalgorithmen
Graphen sind eine der wichtigste Modellierungskonzepte der Informatik Graphalgorithmen bilden die Grundlage vieler Algorithmen in der Praxis Zunächst kurze Wiederholung von Graphen. Dann Darstellungen
MehrProgrammablaufpläne. Vorgehen zur Erstellung eines lauffähigen C-Programms
Programmablaufpläne Vorgehen zur Erstellung eines lauffähigen C-Programms Dieser Leitfaden soll eine Einführung in das Erstellen von Programmablaufplänen (kurz: PAP) geben. PAP erleichtern das Erstellen
MehrDiskrete Ereignissysteme. Spezielle Netzstrukturen- Übersicht. Beispiele zu speziellen Netzstrukturen. Petri-Netze und Zustandsautomaten
Diskrete Ereignissysteme 4.4 Spezialisierungen von Petri Netzen Spezielle Netzstrukturen- Übersicht Ein S-T-Netz heisst Zustands-System gdw. gilt:. W(f) = für alle Kanten f F. 2. t = t = für alle Transitionen
MehrKürzeste Wege in einem gewichteten Graphen. Anwendungen
Kürzeste Wege in einem gewichteten Graphen Dazu werden die Gewichte als Weglängen interpretiert. Der kürzeste Weg zwischen zwei Knoten in einem zusammenhängenden Graphen ist derjenige, bei dem die Summe
MehrÜbersicht Tutorium 3: Funktionsmodellierung und Prozessmodellierung
Übersicht Tutorium 3: Funktionsmodellierung und Prozessmodellierung Gliederung: Strukturierte Analyse mit Basistechniken Abläufe der Informationsverarbeitung: Flussdiagramme Struktogramme Prozessmodellierung:
MehrUniversität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner. Lehre am IAS. gestern, heute und morgen
Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner Lehre am IAS gestern, heute und morgen Festkolloquium des IAS am 17.07.2015 Peter Göhner www.ias.uni-stuttgart.de
MehrRouting A lgorithmen Algorithmen Begriffe, Definitionen Wegewahl Verkehrslenkung
Begriffe, Definitionen Routing (aus der Informatik) Wegewahl oder Verkehrslenkung bezeichnet in der Telekommunikation das Festlegen von Wegen für Nachrichtenströme bei der Nachrichtenübermittlung über
MehrVorlesung 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
MehrKarlsruher Institut für Technologie. Klausur Algorithmen I
Klausur-ID: Vorname: Matrikelnummer: Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Jörn Müller-Quade 11. April 2018 Klausur Algorithmen I Aufgabe 1. Kleinaufgaben 15 Punkte
MehrAlgorithmen & Komplexität
Algorithmen & Komplexität Angelika Steger Institut für Theoretische Informatik steger@inf.ethz.ch Kürzeste Pfade Problem Gegeben Netzwerk: Graph G = (V, E), Gewichtsfunktion w: E N Zwei Knoten: s, t Kantenzug/Weg
MehrGraphentheoretische 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
MehrRouting Algorithmen. Begriffe, Definitionen
Begriffe, Definitionen Routing (aus der Informatik) Wegewahl oder Verkehrslenkung bezeichnet in der Telekommunikation das Festlegen von Wegen für Nachrichtenströme bei der Nachrichtenübermittlung über
Mehrim Wintersemester 2014/15
WS 24/5 Vorlesung im Wintersemester 24/5 Prof. Dr. Jan Jürjens TU Dortmund, Fakultät Informatik, Lehrstuhl XIV Teil.4: Petrinetze v. 5.2.24.4 Petrinetze Einordnung.4 Petrinetze WS 24/5 Modellgetriebene
MehrVorlesung 2 KÜRZESTE WEGE
Vorlesung 2 KÜRZESTE WEGE 34 Kürzeste Wege im Graphen Motivation! Heute:! Kürzeste Wege von einem Knoten (SSSP)! Kürzeste Wege zwischen allen Knotenpaaren (APSP)! Viele Anwendungen:! Navigationssysteme!
MehrParallele und funktionale Programmierung Wintersemester 2016/ Übung Abgabe bis , 16:00 Uhr
4. Übung Abgabe bis 25.11.2016, 16:00 Uhr Aufgabe 4.1: Verklemmungsbedingungen a) Welche drei Bedingungen müssen gelten, damit es zu einer Verklemmung in einem parallelen System kommen kann? b) Nach welcher
Mehr1.Aufgabe: Minimal aufspannender Baum
1.Aufgabe: Minimal aufspannender Baum 11+4+8 Punkte v 1 v 2 1 3 4 9 v 3 v 4 v 5 v 7 7 4 3 5 8 1 4 v 7 v 8 v 9 3 2 7 v 10 Abbildung 1: Der Graph G mit Kantengewichten (a) Bestimme mit Hilfe des Algorithmus
MehrTheoretische Informatik 1 WS 2007/2008. Prof. Dr. Rainer Lütticke
Theoretische Informatik 1 WS 2007/2008 Prof. Dr. Rainer Lütticke Inhalt der Vorlesung Grundlagen - Mengen, Relationen, Abbildungen/Funktionen - Datenstrukturen - Aussagenlogik Automatentheorie Formale
MehrDialognetze. 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
MehrTowards Automated Analysis of Business Processes for Financial Audits
Towards Automated Analysis of Business Processes for Financial Audits Michael Werner Universität Hamburg michael.werner@wiso.uni hamburg.de Max Brauer Allee 60 22765 Hamburg StB Prof. Dr. Nick Gehrke Nordakademie
MehrKapitel 1: Fallstudie Bipartite Graphen Gliederung der Vorlesung
Kapitel : Fallstudie Bipartite Graphen Gliederung der Vorlesung. Fallstudie Bipartite Graphen. Grundbegriffe. Elementare Graphalgorithmen und. Minimal spannende Bäume. Kürzeste Wege 6. Traveling Salesman
MehrAnalyse 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
MehrMasterarbeit. 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
MehrEinfü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,
MehrAlgorithmentechnik - U bung 3 4. Sitzung Tanja Hartmann 03. Dezember 2009
Algorithmentechnik - U bung 3 4. Sitzung Tanja Hartmann 03. Dezember 2009 I NSTITUT F U R T HEORETISCHE I NFORMATIK, P ROF. D R. D OROTHEA WAGNER KIT Universita t des Landes Baden-Wu rttemberg und nationales
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1 Eigenschaften von n, Überdeckbarkeitsgraphen
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1 Motivation: Eigenschaften von n, Überdeckbarkeitsgraphen
Mehrmaximaler Fluss & minimaler Schnitt
maximaler Fluss & minimaler Schnitt Referat in angewandte Logistik Marcus Pottendorfer HTBLuVA Sankt Pölten Inhalt Maximaler Fluss minimaler Schnitt... 2 Grundbegriffe... 2 Erklärung... 2 Minimaler Schnitt...
Mehr12. Graphen Programmieren / Algorithmen und Datenstrukturen 2 Prof. Dr. Bernhard Humm FB Informatik, Hochschule Darmstadt Wintersemester 2012 / 2013
12. Graphen Programmieren / Algorithmen und Datenstrukturen 2 Prof. Dr. Bernhard Humm FB Informatik, Hochschule Darmstadt Wintersemester 2012 / 2013 1 Agenda Kontrollfragen Graphen Graphenalgorithmen 2
MehrAnimation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen
Animation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen Georg Hohmann, Matthias Schleinitz Bauhaus-Universität Weimar, Fakultät Bauingenieurwesen Professur Computergestützte Techniken Coudraystraße
MehrOrganisation einer Bachelorarbeit mit praktischem Teil
Organisation einer Bachelorarbeit mit praktischem Teil Fakultät für Elektrotechnik Maximilian Adam Elektrotechnik (B.Eng.) E7IK Augsburg, 02.04.2018 Inhaltsverzeichnis 1. Einleitung... 3 2. Auswahl des
MehrProgrammierkurs Python II
Programmierkurs Python II Stefan Thater & Michaela Regneri Universität des Saarlandes FR 4.7 Allgemeine Linguistik (Computerlinguistik) Übersicht Topologische Sortierung (einfach) Kürzeste Wege finden
MehrAut u om o at a isier e tes e T es e ten e n v on o n ver e tei e lten e n S y S stem e en e n ü b ü e b r e Pet e rine n t e ze
Automatisiertes Testen von verteilten Systemen über Petrinetze Tim Ruß Kurzvorstellung ifak 2 1 Vorstellung ifak ifak: Institut für Automation und Kommunikation e.v., Magdeburg 50 Mitarbeiter plus Studenten
MehrMotivation: 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
MehrVorlesung Methodische Grundlagen des Software-Engineering im Sommersemester 2013
Vorlesung des Software-Engineering im Sommersemester 2013 Prof. Dr. Jan Jürjens TU Dortmund, Fakultät Informatik, Lehrstuhl XIV Teil 2.2: Prozessmodellierung und Analyse v. 13.05.2013 1 [mit freundlicher
MehrProgrammentwurf mittels strukturierter Programmierung. Programmentwurf. Nassi-Shneiderman-Diagramm [DIN ]
Programmentwurf Bevor man sich daran macht, den Quelltext eines Programmes zu schreiben, sollte man sich einen Plan der Struktur des zukünftigen Programmes machen. Diese Phase eines Softwarentwicklungsprojekts
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Graphen 9/1 Begriffsdefinitionen Ein Graph besteht aus Knoten und Kanten. Ein Knoten(Ecke) ist ein benanntes Objekt. Eine Kante verbindet zwei Knoten. Kanten haben ein Gewicht
MehrInhaltsverzeichnis. 4.1 Systemmodell und notwendige Bedingungen. 4.2 Gegenmaßnahmen
Inhaltsverzeichnis 4.1 Systemmodell und notwendige Bedingungen Was sind Deadlocks? Darstellungsarten von Prozessabhängigkeiten Notwendige Bedingungen für Deadlocks 4.2 Gegenmaßnahmen Deadlock-Prevention
MehrCell Decomposition & Potential Field
Seminar EXRPR Cell Decomposition & Potential Field Gruppe 2: Thomas Janu Martin Koch Adrian J. Merkl Matthias Schneider Cell Decomposition & Potential Field 20.06.2005 Gruppe 2 Gliederung (1) 1.Cell Decomposition
MehrNotationen zur Prozessmodellierung
Notationen zur Prozessmodellierung August 2014 Inhalt (erweiterte) ereignisgesteuerte Prozesskette (eepk) 3 Wertschöpfungskettendiagramm (WKD) 5 Business Process Model and Notation (BPMN) 7 Unified Modeling
MehrStrukturelle Charakterisierung der Invarianten eines Petri-Netzes
Strukturelle Charakterisierung der Invarianten eines Petri-Netzes Zwischenstand der Diplomarbeit von Lehrstuhl Datenstrukturen und Softwarezuverlässigkeit BTU Cottbus Inhalt 1.Einleitung 2.Abhängige Transitionsmengen
Mehrim Wintersemester 2014/15
WS 24/5 Vorlesung im Wintersemester 24/5 Prof. Dr. Jan Jürjens TU Dortmund, Fakultät Informatik, Lehrstuhl XIV Teil.4: Petrinetze v. 5.2.24.4 Petrinetze Einordnung.4 Petrinetze WS 24/5 Modellgetriebene
MehrBerechnung von Abständen
3. Kreis- und Wegeprobleme Abstände in Graphen Abstände in Graphen Definition 3.4. Es sei G = (V, E) ein Graph. Der Abstand d(v, w) zweier Knoten v, w V ist die minimale Länge eines Weges von v nach w.
MehrKlausur Algorithmentheorie
Prof. Dr. G. Schnitger Frankfurt, den 24.02.2011 M. Poloczek Klausur Algorithmentheorie WS 2010/2011 Name: Vorname: Geburtsdatum: Studiengang: BITTE GENAU LESEN Die Klausur besteht aus 4 Aufgaben, in denen
MehrSpezifikation und Verifikation Kapitel 2 CTL Model Checking
Spezifikation und Verifikation Kapitel 2 CTL Model Checking Frank Heitmann heitmann@informatik.uni-hamburg.de 16. Mai 2014 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/138 CTL Computation Tree Logic
MehrLösungsskizzen Mathematik für Informatiker 5. Aufl. Kapitel 11 Peter Hartmann
Lösungsskizzen Mathematik für Informatiker 5. Aufl. Kapitel Verständnisfragen. Ein zusammenhängender Graph ist ein Baum, wenn er einen Knoten mehr hat als Kanten. Warum ist in diesem Satz der Zusammenhang
Mehr