Verkehrsmodellierung mit THOR-Netzen Frederik Exler

Größe: px
Ab Seite anzeigen:

Download "Verkehrsmodellierung mit THOR-Netzen Frederik Exler"

Transkript

1 Verkehrsmodellierung mit THOR-Netzen Frederik Exler 1

2 0. Gliederung 1. Ziel der Verkehrsmodellierung 2. Grundlagen Modell, Simulation, Petrinetze, THOR-Netze 3. Modell eines ÖPNV-Netzes Informales Modell, Umsetzung mit THOR-Netz 4. Simulation am Beispiel Stuttgart 5. Fazit 6. Quellen 2

3 1. Warum Verkehrsmodellierung? Verkehr als Belastungsfaktor für Mensch und Umwelt Verschiedene Ansätze zur Reduzierung vorhanden Verkehrssimulation zur Analyse von Verkehrsnetzen Finden von Schwachstellen im System 3

4 2.1 Modell und Simulation Modell (H. Stachowiak): Abbildung + Verkürzung + Pragmatismus Simulation: Analyse dynamischer Systeme Experimente an einem Modell Erkenntnisse über reales System 4

5 2.2 Petrinetze Petrinetz: bipartiter, gerichteter Graph Stellen, Transitionen, Token Kapazitäten an Stellen Kantengewichte 5

6 2.2 Petrinetze 6

7 2.3 THOR-Netze THOR-Netz = Timed Hierarchical Object Related Nets Objekte anstatt Marken (z.b. in C++) Stellen-Strukturen: Multiset, Stack, Queue, Priority Q. Alternative Kanten: Enabling, Inhibitor, Consuming 7

8 2.3 THOR-Netze 8

9 2.3 THOR-Netze Erweiterte Transitionen Schaltbedingung, Schaltaktion, Kapazität Schaltdauer, Verzögerungszeit Unterstützung zweier Zeitkonzepte (SD und VZ) Hierarchie-Konzept (Unternetze als Blackbox) 9

10 3.1 Das Modell ÖPNV-Netz in Form eines Graphen Verkehrsobjekte: Personen + Fahrplanmittel Zentrale Uhr zur Synchronisation des Netzes Mitfahrnetze und Mitnahmenetze 10

11 3.1 Das Modell 11

12 3.1 Das Modell Kapazitäten für Mitnahmenetze und Fahrplanmittel Keine Entsprechung im Modell: Kreuzungen verschiedener Verkehrsnetze Steuerungsregeln für Verkehrsfluss (Ampeln) Wetter Demographie 12

13 3.2 Umsetzung des Modells Modell eines ÖPNV-Netzes als THOR-Netz Nutzung eines THOR-Netz-Simulators Mitnahme- und Mitfahrnetze direkt übertragen Verkehrsobjekte als Instanzen von C++-Klassen 13

14 3.2 Umsetzung des Modells Transport von Personen als Teil der Schaltaktion Ein- und Ausstieg von Personen als Unternetz Quellen und Senken (Steuerung der Nachfrage) Interne Uhr als Unternetz 14

15 3.2 Umsetzung des Modells 15

16 4. Simulation am Beispiel Stuttgart Modellierung von U-Bahn, S-Bahn und Fußwegenetz 158 Haltestellen 350 Verbindungen Komplexes, schwer zu analysierendes Netz Simulation von etwa 3000 Abfahrten 16

17 4.1 Testläufe Probleme bei ersten Testläufen (enorme Verspätungen) Anpassung des Netzes mit besserem Ergebnis Ermittlung der Fahrtdauer für einen Rundkurs über einen Tag verteilt 17

18 4.1 Testläufe 18

19 4.2 Simulierte Bestwegsuche Simulatives Verfahren zur Bestimmung kürzester Wege 1.) Setzen einer Person an einen Startknoten 2.) Einstieg einer Kopie in haltende Fahrplanmittel 3.) Ausstieg der Kopie an nächster Haltestelle 19

20 4.3 Zusammenfassung Modellverhalten entspricht in etwa der Realität Simulator zum Erstellen und Testen der Netze Einfache Modellierung, aber komplizierte Netze Netze sehr speicheraufwändig (Objekte) 20

21 5. Fazit Modellierung mit THOR-Netzen möglich, aber veraltet Ausbau des Modells nötig für praktische Anwendung Allgemeine Modelle heutzutage gefragt Bis heute gibt es kein universelles Modell für die Verkehrsmodellierung! 21

22 6. Quellen Allgemeine Modelltheorie, 1973, Herbert Stachowiak Verkehrsmodellierung, 1996, Markus Schaal, ausgearbeitete Diplomarbeit an der Universität Stuttgart (PDF) Abschlußbericht des Projekts DNS, 1997, Stefan Schöf / Ralf Wieting / Michael Sonnenschein, OFFIS Oldenburg (PDF) Neue Ansätze in der Verkehrsmodellierung, 2007, Jens Rümenapp, Gertz Gutsche Rümenapp GbR, Hamburg (PDF) genutzte Artikel: Simulation, Simulationsmodell, Modell, Petri-Netz Musterlösung zur 3. Übung der Lehrveranstaltung Programmierung und Modellierung an der Universität Magdeburg, Arbeitsgruppe Wirtschaftsinformatik 22

23 Fragen? 23

24 Vielen Dank für eure Aufmerksamkeit! 24

Verkehrsmodellierung mit Hilfe von THOR-Netzen

Verkehrsmodellierung mit Hilfe von THOR-Netzen Verkehrsmodellierung mit Hilfe von THOR-Netzen Von: Frederik Exler Betreuer: Benjamin Rauch-Gebbensleben 1 Abstract: Diese Ausarbeitung befasst sich mit der Modellierung von Verkehrsnetzen, im speziellen

Mehr

Betreuer: Univ.-Prof. Dr.-Ing. Markus Rabe. Dipl.-Geoinf. Maik Deininger. Technische Universität Dortmund. Fakultät Maschinenbau

Betreuer: Univ.-Prof. Dr.-Ing. Markus Rabe. Dipl.-Geoinf. Maik Deininger. Technische Universität Dortmund. Fakultät Maschinenbau Studienarbeit Analyse und Erweiterung eines Petri-Netzbasierten Konzepts zur Abbildung wandlungsfähiger Produktionssysteme Dominik Schmitt Abgabedatum: 02.11.2015 Betreuer: Univ.-Prof. Dr.-Ing. Markus

Mehr

Petrinetze und GPSS/H

Petrinetze 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

Mehr

Diskrete Ereignis Simulation. Proseminar: Algorithmen der Verkehrssimulation Jörg Blank

Diskrete Ereignis Simulation. Proseminar: Algorithmen der Verkehrssimulation Jörg Blank Diskrete Ereignis Simulation Proseminar: Algorithmen der Verkehrssimulation Jörg Blank Definitionen zeitdiskrete Simulation System: Auschnitt der Realität Ereignis: Zustandsänderungen in Systemen Simulation:

Mehr

FAKULTA T MASCHINENBAU

FAKULTA T MASCHINENBAU FAKULTA T MASCHINENBAU Fachgebiet fü r IT in Prodüktion ünd Logistik Prof. Dr.-Ing. Marküs Rabe Masterarbeit Untersuchung von Validierungsmöglichkeiten für modulare, auf objektorientierten Petri-Netzen

Mehr

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

Petri-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)

Mehr

Kapitel 4 Ereignisdiskrete Systeme (V)

Kapitel 4 Ereignisdiskrete Systeme (V) Systemmodellierung Teil 1: Ereignisdiskrete Systeme Kapitel 4 Ereignisdiskrete Systeme (V) Petrinetze ctnd. Eigenschaften von Petrinetzen (BE-Netze) Konflikt Kontakt Livelock, Deadlock Lebendigkeit Reversibilität

Mehr

Die Belegung der Stellen heißt Markierung und repräsentiert den Zustand des Petri- Netzes.

Die Belegung der Stellen heißt Markierung und repräsentiert den Zustand des Petri- Netzes. Bei Petri-Netzen handelt es sich um formale Konstrukte, die graphisch ausgestaltet sind und sich für die Modellierung und Simulation von komplexen Geschäfts- und Arbeitsprozessen besonders gut eignen.

Mehr

Stochastische Petrinetze

Stochastische 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

Mehr

Modellierungsansatz für die realitätsnahe Abbildung der technischen Verfügbarkeit

Modellierungsansatz 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

Mehr

Modellieren im Informatikunterricht

Modellieren im Informatikunterricht Teil 1: Einführung in Netzstrukturen zur Systembeschreibung 1 Die Welt begreifen Abstraktion und Komplexitätsreduktion auf Interessante 2 Modelle im Informatikunterricht? Kommunikation über das Vorhaben

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

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

PSE Verkehrssimulation

PSE Verkehrssimulation PSE Verkehrssimulation Einführung in die Thematik Michael Moltenbrey, Dirk Pflüger 16. Oktober 2007-1- Gliederung Motivation Ablauf des Praktikums Aufgabenstellungen Scheinkriterien Gruppeneinteilung Einführung

Mehr

Fachtagung der BAG Metalltechnik/Elektrotechnik-Informatik

Fachtagung der BAG Metalltechnik/Elektrotechnik-Informatik Fachtagung der BAG Metalltechnik/Elektrotechnik-Informatik Dezentral gesteuertes flexibles Fertigungssystem: Herausforderungen und Chancen beim Einsatz als Lernträger im Unterricht 03.04.2013 F. Beier

Mehr

Kleinräumige Bevölkerungsprognose Landkreis Vorpommern-Greifswald

Kleinräumige Bevölkerungsprognose Landkreis Vorpommern-Greifswald Kleinräumige Bevölkerungsprognose Landkreis Vorpommern-Greifswald 15.10.2014 Dipl.-Ing. Jens Rümenapp Gertz Gutsche Rümenapp GbR, Hamburg/Berlin Gliederung Prognosemethodik Grundlagen, Methodik, Annahmen,

Mehr

Modellierung des Verkehrs als Flüssigkeit. Proseminar Algorithmen der Verkehrssimulation WS 05/06 Atanas Gegov

Modellierung des Verkehrs als Flüssigkeit. Proseminar Algorithmen der Verkehrssimulation WS 05/06 Atanas Gegov Modellierung des Verkehrs als Flüssigkeit Proseminar Algorithmen der Verkehrssimulation WS 05/06 Atanas Gegov Gliederung: 1. Gründe für das Interesse an Verkehr und dessen Probleme 2. Verschiedene Verkehrsmodelle

Mehr

Effizienzsteigerung für Routenzüge

Effizienzsteigerung für Routenzüge Effizienzsteigerung für Routenzüge Tobias Staab Stefan Galka 10. Oktober 2013 ASIM-Fachtagung, Paderborn fml Lehrstuhl für Fördertechnik Materialfluss Logistik Prof. Dr.-Ing. Dipl.-Wi.-Ing. W. A. Günthner

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

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

1.Aufgabe: Minimal aufspannender Baum

1.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

Mehr

Abschlußbericht des Projekts DNS (Distributed Net Simulation)

Abschlußbericht des Projekts DNS (Distributed Net Simulation) Abschlußbericht des Projekts DNS (Distributed Net Simulation) OFFIS Escherweg 2 D-26121 Oldenburg Dipl.-Inform. Stefan Schöf Dipl.-Inform. Ralf Wieting Prof. Dr. Michael Sonnenschein Juni 1997 Inhaltsverzeichnis

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

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

ASKO: Theoriebewertung und Modellerstellung ein Erfahrungsbericht

ASKO: Theoriebewertung und Modellerstellung ein Erfahrungsbericht ASKO: Theoriebewertung und Modellerstellung ein Erfahrungsbericht Michael Köhler und Rüdiger Valk sozionik@informatik.uni-hamburg.de University of Hamburg, Fachbereich Informatik Theoriebewertung und Modellerstellung

Mehr

Verteidigung der Diplomarbeit 3D-Netzwerk-Visualisierung

Verteidigung der Diplomarbeit 3D-Netzwerk-Visualisierung 1 Verteidigung der Diplomarbeit 3D-Netzwerk-Visualisierung Stefan Ziegler 11. März 2005 INHALTSVERZEICHNIS 2 Inhaltsverzeichnis 1 Aufgabe 3 2 Umsetzung 4 3 Struktur 5 4 Paketverarbeitung 8 5 Grafische

Mehr

Die Optimierung einer Fertigungssteuerung mit Hilfe von Simulationswerkzeugen am Beispiel der Lackiererei der AUDI AG, Ingolstadt

Die Optimierung einer Fertigungssteuerung mit Hilfe von Simulationswerkzeugen am Beispiel der Lackiererei der AUDI AG, Ingolstadt LogiMat 2005, Stuttgart, 1.-3. Februar 2005 Die Optimierung einer Fertigungssteuerung mit Hilfe von Simulationswerkzeugen am Beispiel der Lackiererei der AUDI AG, Ingolstadt Markus Behres, AUDI AG Gliederung

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

Statecharts in UML Grundlagen und Übersetzung in Colored Petri Nets

Statecharts in UML Grundlagen und Übersetzung in Colored Petri Nets Statecharts in UML Grundlagen und Übersetzung in Colored Petri Nets von André Kaiser 25.10.2004 André Kaiser - Statecharts in UML 1 Überblick Statecharts Konzepte und Darstellung Übersetzung UML-Statechart-Model

Mehr

Bienen-inspiriertes Straßenverkehrsrouting

Bienen-inspiriertes Straßenverkehrsrouting Bienen-inspiriertes Straßenverkehrsrouting http://ls3-www.cs.tu-dortmund.de Sebastian Lehnhoff Sebastian Senge Anca M. Lazarescu Lehrstuhl für Betriebssysteme und Rechnerarchitektur Agenda Einleitung Hintergrund

Mehr

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

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 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

Mehr

Universität Karlsruhe (TH)

Universität Karlsruhe (TH) Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Kapitel 2 Die Definitionsphase Prof. Walter F. Tichy Wo sind wir gerade? Planung Lastenheft (funktionales Modell) Definition (Analyse) Pflichtenheft

Mehr

High-Level Petrinetze. SE Analyse von Petrinetzen Jan Sürmeli

High-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

Mehr

Generierung von Steuerungsprogrammcode für SPS und μc aus Petri-Netz-Modellen

Generierung 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

Mehr

Kapitel 2 - Die Definitionsphase

Kapitel 2 - Die Definitionsphase Kapitel 2 - Die Definitionsphase SWT I Sommersemester 2010 Walter F. Tichy, Andreas Höfer, Korbinian Molitorisz IPD Tichy, Fakultät für Informatik KIT die Kooperation von Forschungszentrum Karlsruhe GmbH

Mehr

Simulation als epistemologische Grundlage für intelligente Roboter

Simulation als epistemologische Grundlage für intelligente Roboter 1 Simulation als epistemologische Grundlage für intelligente Roboter Andreas Tolk The MITRE Corporation Umut Durak Deutsches Zentrum für Luft- und Raumfahrt e.v. (DLR) Public Release No. 17-0085 2017 The

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

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

Städtebauförderung: Innenstadtkonzept Bestandsanalyse Verkehr

Städtebauförderung: Innenstadtkonzept Bestandsanalyse Verkehr Städtebauförderung: Innenstadtkonzept Bestandsanalyse Verkehr Bau- und Planungsausschuss 02.12.2015 Dipl.-Ing. Jens Rümenapp Gertz Gutsche Rümenapp GbR, Hamburg/Berlin Gliederung Verkehrskonzept Ergebnisse

Mehr

Animation vielfältiger Prozeßabläufe mit Hilfe von Petri-Netzen

Animation 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

Mehr

Kulturforum Fürth / Saturn Verbrauchermarkt Kritische Analyse der ITS Verkehrssimulation

Kulturforum Fürth / Saturn Verbrauchermarkt Kritische Analyse der ITS Verkehrssimulation Kulturforum Fürth / Saturn Verbrauchermarkt Kritische Analyse der ITS Verkehrssimulation Präsentation vom 30.11.2004: grün unterlegt Kurzbericht vom 10.11.2004: gelb unterlegt 1-9 Vorbemerkungen Simulation

Mehr

im Wintersemester 2014/15

im 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

Mehr

3D-Simulation in der Intralogistik

3D-Simulation in der Intralogistik 3D-Simulation in der Intralogistik Siemens Postal, Parcel & Airport Logistics AG Seite 1 siemens.ch/logistics Inhalt 3D Simulation in der Intralogistik Abgrenzung/Definition Animation Simulation Emulation

Mehr

Smart Grids dezentrale Energieversorgung der Zukunft

Smart Grids dezentrale Energieversorgung der Zukunft Smart Grids dezentrale Energieversorgung der Zukunft Wilhelm Büchner Hochschule 25. Oktober 2017 Inhalt 1. Kooperatives Promotionsverfahren 2. Motivation 3. Referenzmodell 4. Dezentraler Lösungsansatz

Mehr

Aut 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

Aut 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

Mehr

Autonomes Kreuzungsmanagement für Kraftfahrzeuge

Autonomes Kreuzungsmanagement für Kraftfahrzeuge Autonomes Kreuzungsmanagement für Kraftfahrzeuge Trajektorienplanung mittels Dynamischer Programmierung Torsten Bruns, Ansgar Trächtler AUTOREG 2008 / Baden-Baden / 13.02.2008 Szenario Kreuzungsmanagement

Mehr

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen

Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Petri-Netzbasierte Modellierung und Analyse von Risikoaspekten in Geschäftsprozessen Zur Erlangung des akademischen Grades eines Doktors der Wirtschaftswissenschaften (Dr. rer. pol.) von der Fakultät für

Mehr

Auskunftssysteme: Kurzwegsuche im öffentlichen Verkehr

Auskunftssysteme: Kurzwegsuche im öffentlichen Verkehr Auskunftssysteme: Kurzwegsuche im öffentlichen Verkehr Proseminar Algorithmen der Verkehrssimulation WS 05/06 Teera Inprasit Gliederung Einführung Optimale Zugverbindung? Modellierungsansätze Vergleich

Mehr

Flüsse, Schnitte, bipartite Graphen

Flüsse, Schnitte, bipartite Graphen Flüsse, chnitte, bipartite Graphen Matthias Hoffmann 5.5.009 Matthias Hoffmann Flüsse, chnitte, bipartite Graphen 5.5.009 / 48 Übersicht Einführung Beispiel Definitionen Ford-Fulkerson-Methode Beispiel

Mehr

Gebäudeevakuierung als Beispiel einer Mikroskopischen Analyse

Gebäudeevakuierung als Beispiel einer Mikroskopischen Analyse Gebäudeevakuierung als Beispiel einer Mikroskopischen Analyse Proseminar: Algorithmen der Verkehrssimulation Richard Röttger Technische Universität München 12.12.2005 Gliederung 1 Einführung Motivation

Mehr

Fußgängerbezogene Datenaufbereitung in OpenStreetMap

Fußgängerbezogene Datenaufbereitung in OpenStreetMap 1/20 Fußgängerbezogene Datenaufbereitung in OpenStreetMap Ansprüche, Datenhaltung, Praxis Robert Bieber Universität Potsdam Pedestrian Project Pedestrian Project 2/20 Projektidee OSM Datenbestand für Routingdienste,

Mehr

Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen

Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Roland Koppe, Stefan Häusler, Axel Hahn 2 Übersicht Einleitung und Motivation Ansatz und Methodik

Mehr

Analyse von Petri-Netz-Modellen. Von Prof. Dr. rer. nat. habil. Peter H. Starke Humboldt-Universitat Berlin

Analyse von Petri-Netz-Modellen. Von Prof. Dr. rer. nat. habil. Peter H. Starke Humboldt-Universitat Berlin Analyse von Petri-Netz-Modellen Von Prof. Dr. rer. nat. habil. Peter H. Starke Humboldt-Universitat Berlin B. G. Teubner Stuttgart 1990 INHALTSVERZEICHNIS 1. Modellierung mlt Petri-Netzen 13 Modell System

Mehr

8.4 Digraphen mit negativen Kantengewichten Grundsätzliches Betrachte Startknoten s und einen Kreis C mit Gesamtlänge < 0.

8.4 Digraphen mit negativen Kantengewichten Grundsätzliches Betrachte Startknoten s und einen Kreis C mit Gesamtlänge < 0. 8.4 Digraphen mit negativen Kantengewichten 8.4.1 Grundsätzliches Betrachte Startknoten s und einen Kreis C mit Gesamtlänge < 0. k 4 5 1 s 1 3 2 C k 0 k 3 1 1 1 k 1 k 2 v Sollte ein Pfad von s nach C und

Mehr

HumanLib - Modellbildung des menschlichen Herz-Kreislauf-Systems

HumanLib - Modellbildung des menschlichen Herz-Kreislauf-Systems HumanLib - Modellbildung des menschlichen Herz-Kreislauf-Systems Dymola & Modelica Informationstag 15. November 2007 Anja Brunberg IRT, RWTH Aachen Gliederung 1 Hintergrund Herz-Kreislauf-System Problemstellung

Mehr

Anwendungsplattform Intelligente Mobilität

Anwendungsplattform Intelligente Mobilität Anwendungsplattform Intelligente Mobilität Dipl.-Ing. Markus Pelz Institut für Verkehrssystemtechnik 2. Februar 2011 > Folie 1 Institut für Verkehrssystemtechnik Sitz: Braunschweig, Berlin Seit: 2001 Leitung:

Mehr

Übersicht Tutorium 3: Funktionsmodellierung und Prozessmodellierung

Übersicht Tutorium 3: Funktionsmodellierung und Prozessmodellierung Übersicht Tutorium 3: Funktionsmodellierung und Prozessmodellierung Gliederung: Strukturierte Analyse mit Basistechniken Abläufe der Informationsverarbeitung: Flussdiagramme Struktogramme Prozessmodellierung:

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

Verkehrskonzept Bonner Norden

Verkehrskonzept Bonner Norden Verkehrskonzept Bonner Norden - Präsentation der Ergebnisse - 30.05.06 Mängelanalyse Mängelanalyse Kfz-Verkehr Klassifiziertes Straßennetz - Heinrich-Böll-Ring (B9) - Brühler Str. Bornheimer Str.(L 183)

Mehr

Spezifikation von Kommunikationssystemen

Spezifikation 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

Mehr

Konzeption einer Architektur für ein Werkzeug zur Verkehrssimulation unter Berücksichtigung von Fahrerassistenzsystemen

Konzeption einer Architektur für ein Werkzeug zur Verkehrssimulation unter Berücksichtigung von Fahrerassistenzsystemen Konzeption einer Architektur für ein Werkzeug zur Verkehrssimulation unter Berücksichtigung von Fahrerassistenzsystemen Diplomarbeitsvortrag Oliver Betreuer: Prof. Dr.-Ing. K. Böhm Betreuender Mitarbeiter:

Mehr

Kurs OMSI im WiSe 2010/11

Kurs OMSI im WiSe 2010/11 Kurs OMSI im WiSe 2010/11 Objektorientierte Simulation mit ODEMx Prof. Dr. Joachim Fischer Dr. Klaus Ahrens Dipl.-Inf. Ingmar Eveslage fischer ahrens eveslage@informatik.hu-berlin.de 1.1 Lehrstuhlangebot

Mehr

Evolutionäre Algorithmen Einführung

Evolutionäre Algorithmen Einführung Evolutionäre Algorithmen Einführung Prof. Dr. Rudolf Kruse Pascal Held {kruse,pheld}@iws.cs.uni-magdeburg.de Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik Institut für Wissens- und Sprachverarbeitung

Mehr

Digitalisierung gestalten und integrierte Mobilitätsdienstleistungen stärken Eine Einführung

Digitalisierung gestalten und integrierte Mobilitätsdienstleistungen stärken Eine Einführung Für Mensch & Umwelt UBA-Forum mobil & nachhaltig Digitalisierung gestalten und integrierte Mobilitätsdienstleistungen stärken Eine Einführung Tim Schubert Fachgebiet I 3.1 Umwelt und Verkehr Umweltbundesamt

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

Untersuchung von komplexen Problemstellungen bei der Bahn

Untersuchung von komplexen Problemstellungen bei der Bahn Untersuchung von komplexen Problemstellungen bei der Bahn Einführung zur Präsentation von Diplomarbeiten der FHNW, 22. August 2013 1. Einführung Verkehr als komplexes System Die Systemelemente sind nicht

Mehr

Verhaltensbeschreibung und Spezifikationssprachen

Verhaltensbeschreibung und Spezifikationssprachen TECHNISCHE UNIVERSITÄT ILMENAU Integrierte Kommunikationssysteme http://www.tu-ilmenau.de/iks Verhaltensbeschreibung und Spezifikationssprachen Verhaltensmodelle Zustandsautomaten (FSM) Nicht-deterministische

Mehr

Wege, Pfade und Kreise

Wege, Pfade und Kreise Wege, Pfade und Kreise ef.: in Weg ist eine olge von Knoten (v 1, v2,..., vk), so dass {vi,vi+1} für alle 1 i

Mehr

Offenes Simulationsmodell für netzgekoppelte PV-Batteriesysteme

Offenes Simulationsmodell für netzgekoppelte PV-Batteriesysteme Offenes Simulationsmodell für netzgekoppelte PV-Batteriesysteme Tjarko Tjaden, Johannes Weniger, Volker Quaschning Hochschule für Technik und Wirtschaft (HTW) Berlin Christian Messner (AIT), Michael Knoop

Mehr

Grundlagen der Wirtschafts informatik

Grundlagen der Wirtschafts informatik Andreas Fink Gabriele Schneidereit Stefan Voß Grundlagen der Wirtschafts informatik Zweite, überarbeitete Auflage mit 78 Abbildungen und 16 Tabellen Physica-Verlag Ein Unternehmen von Springer Vorwort

Mehr

Java-Grundkurs für Wirtschaftsinformatiker

Java-Grundkurs für Wirtschaftsinformatiker Klaus-Georg Deck Herbert Neuendorf Java-Grundkurs für Wirtschaftsinformatiker Die Grundlagen verstehen - Objektorientierte Programmierung - Fortgeschrittene Konzepte kennenlernen - Betriebswirtschaftlich

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

ÖV-Routing in GraphHopper. Michael Zilske

ÖV-Routing in GraphHopper. Michael Zilske ÖV-Routing in GraphHopper Michael Zilske Post-Dijkstra Transit Routing RAPTOR (Delling, Pajor, Werneck, 2012) Connection Scan (Dibbelt, Pajor, Strasser, Wagner, 2013) Verwenden keinen Haltestellengraphen,

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

Übungsblatt 3. Grundlagen der computergestützten Produktion und Logistik W1332. Fakultät für Wirtschaftswissenschaften

Übungsblatt 3. Grundlagen der computergestützten Produktion und Logistik W1332. Fakultät für Wirtschaftswissenschaften Übungsblatt 3 Grundlagen der computergestützten Produktion und Logistik W1332 Fakultät für Wirtschaftswissenschaften Sebastian Lauck, M.Sc. Wirtschaftsinformatik, -insb. CIM CIM Richtig oder Falsch? Reale

Mehr

Forschung für die Bahn der Zukunft DLR-Institut für Verkehrssystemtechnik

Forschung für die Bahn der Zukunft DLR-Institut für Verkehrssystemtechnik Forschung für die Bahn der Zukunft DLR-Institut für Verkehrssystemtechnik Forschung für die Bahn der Zukunft > 14. Januar 2010 > Folie 1 Das Deutsche Zentrum für Luft- und Raumfahrt e.v. in der Helmholtz-Gemeinschaft

Mehr

Programmierpraktikum Verkehrssimulation

Programmierpraktikum Verkehrssimulation Programmierpraktikum Verkehrssimulation Einführung in die Thematik Michael Moltenbrey, Dirk Pflüger 24. April 2006 1 Gliederung Motivation Ablauf des Praktikums Aufgabenstellungen Scheinkriterien Gruppeneinteilung

Mehr

MODELLIERUNG UND SPEZIFIKATION

MODELLIERUNG UND SPEZIFIKATION MODELLIERUNG UND SPEZIFIKATION EINE ZUSAMMENFASSUNG JAN SÜRMELI T o P THEORY OF PROGRAMMING INHALTSVERZEICHNIS 2 ALLGEMEINES UML: OBJEKTORIENTIERTE MODELLIERUNG CASL: ALGEBRAISCHE SPEZIFIKATION PETRINETZE:

Mehr

Petri-Netze. Teil 2. Chandran Goodchild. Department of Automata Theory University of Freiburg. Pro Seminar, 2017

Petri-Netze. Teil 2. Chandran Goodchild. Department of Automata Theory University of Freiburg. Pro Seminar, 2017 Petri-Netze Teil 2 Chandran Goodchild Department of Automata Theory University of Freiburg Pro Seminar, 2017 Chandran Goodchild (University of Freiburg) Petri-Netze Pro Seminar, 2017 1 / 40 Struktur 1

Mehr

Algorithmen zur Visualisierung von Graphen Lagenlayouts Teil 2

Algorithmen zur Visualisierung von Graphen Lagenlayouts Teil 2 Algorithmen zur Visualisierung von Graphen Teil 2 INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Tamara Mchedlidze Martin Nöllenburg Ignaz Rutter 18.12.2012 Geg.: gerichteter Graph D = (V,

Mehr

Pflichtenheft. Hierarchisches Petrinetz - Komposition

Pflichtenheft. Hierarchisches Petrinetz - Komposition 1. Projekteinführung Pflichtenheft Hierarchisches Petrinetz - Komposition Thema : Petri-Netze im allgemeinen ermöglichen die Modellierung, Analyse und Simulation nebenläufiger Systeme. In Abhängigkeit

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

Petri-Netze. Petri-Netze. Nico Bühler. Albert-Ludwigs-Universität Freiburg. 14. Januar 2016

Petri-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

Mehr

TUD Computer Poker Challenge

TUD Computer Poker Challenge TUD Computer Poker Challenge The Challenge of Poker Björn Heidenreich 31. März 2008 The Challenge of Poker Björn Heidenreich 1 Anforderungen an einen guten Poker-Spieler Hand Strength Hand Potential Bluffing

Mehr

Modul 5: Modelle der Verkehrsnachfrage

Modul 5: Modelle der Verkehrsnachfrage Modul 5: Modelle der Verkehrsnachfrage Programm Markus Friedrich Michael Balmer DAS Verkehrsingenieurwesen Oktober 2016 DAS Verkehrsingenieurwesen Modul 5: Modelle der Verkehrsnachfrage Programm Markus

Mehr

Diplomarbeit: Erweiterung von KIEL um Stateflow-Charts. Adrian Posor

Diplomarbeit: Erweiterung von KIEL um Stateflow-Charts. Adrian Posor : Diplomarbeit: von KIEL um Echtzeitsysteme und Eingebettete Systeme Institut für Informatik und Angewandte Mathematik Christian-Albrechts-Universität zu Kiel 13. Dezember 2005 2/30 strace 1 2 3 strace

Mehr

Leitbild Mülheim an der Ruhr. PROJEKT 12: Optimierung des Verkehrsflusses Grüne Welle auf den Hauptachsen.

Leitbild Mülheim an der Ruhr. PROJEKT 12: Optimierung des Verkehrsflusses Grüne Welle auf den Hauptachsen. Leitbild Mülheim an der Ruhr PROJEKT 12: Optimierung des Verkehrsflusses Grüne Welle auf den Hauptachsen. Bericht Steuerungsgruppe 18. Mai 2015 Mülheim an der Ruhr Stadtleitbild Optimierung des Verkehrsflusses

Mehr

Informatik II Modellierung Übung 5 Petrinetze/Klassendiagramme

Informatik II Modellierung Übung 5 Petrinetze/Klassendiagramme I Informatik II Modellierung Übung 5 Petrinetze/Klassendiagramme Abgabetermin: 11. Juni 24.00 Uhr Per e-mail an Tutor Seite 1 / 9 Aufgabe 1 (3%) Klassendiagramme von einer abstrakten Klasse können keine

Mehr

Bewertung von Sanierungsmaßnahmen durch thermische Simulation

Bewertung von Sanierungsmaßnahmen durch thermische Simulation INGENIEUR GMBH SCHMIDT & WILLMES GEBÄUDETECHNISCHE GESAMTPLANUNG Bewertung von Sanierungsmaßnahmen durch thermische Simulation Dipl.-Ing. Jens Willmes Projektleiter bei der ISW Ingenieur GmbH Schmidt &

Mehr

12. 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 12. Graphen Programmieren / Algorithmen und Datenstrukturen 2 Prof. Dr. Bernhard Humm FB Informatik, Hochschule Darmstadt Wintersemester 2012 / 2013 1 Agenda Kontrollfragen Graphen Graphenalgorithmen 2

Mehr

Herzlich Willkommen zur Dörferkonferenz Wir machen Zukunft Amtsentwicklungskonzept für das Amt Eider

Herzlich Willkommen zur Dörferkonferenz Wir machen Zukunft Amtsentwicklungskonzept für das Amt Eider Herzlich Willkommen zur Dörferkonferenz Wir machen Zukunft, Dörfergemeinschaftshaus Fedderingen Folie 1 Gliederung 1. Gutachterteam 2. Der Weg zum 3. Beteiligungsprozess 4. Handlungsfelder 5. Besondere

Mehr

Vorkurs Informatik WiSe 16/17

Vorkurs Informatik WiSe 16/17 Institut für Programmierung Konzepte der Informatik Dr. Werner Struckmann / Stephan Mielke, Jakob Garbe, 12.10.2016 Technische Universität Braunschweig, IPS Inhaltsverzeichnis Schilda-Rallye Was steckt

Mehr

Bipartite Graphen. Beispiele

Bipartite 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

Mehr

Gliederung der Vorlesung

Gliederung der Vorlesung Otto-von-Guericke-Universität Magdeburg Thomas Schulze Gliederung der Vorlesung 1. Simulation in Produktion und Logistik 2. ARENA-Basics für P&L 3. ARENA-Features für P&L 4. ARENA Modellierungskonzepte

Mehr

Messung und Modellierung paralleler und verteilter Rechensysteme

Messung und Modellierung paralleler und verteilter Rechensysteme Messung und Modellierung paralleler und verteilter Rechensysteme Von Dr.-Ing. Rainer Klar Dipl.-Inf. Peter Dauphin Dr.-Ing. Franz Hartleb Dr.-Ing. Richard Hofmann Dr.-Ing. Bernd Mohr Dr.-Ing. Andreas Quick

Mehr

BAHN - S Y S T E M E. Studienrichtung. Univ.-Prof. Dr.-Ing. Rainer König

BAHN - S Y S T E M E. Studienrichtung. Univ.-Prof. Dr.-Ing. Rainer König Fakultät Verkehrswissenschaften Friedrich List / Professur für Bahnverkehr, öffentlicher Stadt- und Regionalverkehr Studienrichtung BAHN - S Y S T E M E Univ.-Prof. Dr.-Ing. Rainer König Univ.-Prof. Dr.-Ing.

Mehr

Musterklausur 2 für PMfE

Musterklausur 2 für PMfE Musterklausur 2 für PMfE (Hauptklausur SS '94) Aufgabe (9 Punkte) Fragenkatalog a) Erläutern Sie die Begriffe mittlere Lebensdauer (MTTF), mittlere Ausfalldauer (MTTR) und mittlerer Ausfallsabstand (MTBF).

Mehr