AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Analyse von Petrinetzmodellen - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Seminar Veranstaltungsnummer 3313099
Semester SoSe 2018 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfristen - Eine Belegung ist online erforderlich
Veranstaltungsformat Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Fr. 09:00 bis 11:00 wöch 3.101 (Hörsaal)
Stockwerk: 1. OG

alttext alttext 		Johann von Neumann-Haus - Rudower Chaussee 25 (RUD25)

Außenbereich nutzbar Innenbereich eingeschränkt nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Weidlich findet statt     20
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Weidlich, Matthias , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Kernfach ( POVersion: 2004 )   3  -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2004 )   3  -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2007 )   3  -  
Bachelor of Arts  Informatik Kernfach ( POVersion: 2010 )   3  -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2010 )   3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   3  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( POVersion: 2012 )   3  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   3  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   3  -  
Bachelor of Science  Informatik Beifach ( POVersion: 2009 )   3  -  
Bachelor of Science  Informatik Monobachelor ( POVersion: 2009 )   3  -  
Bachelor of Science  Informatik Zweitfach ( POVersion: 2010 )   3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   3  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   3  -  
Diplom  Informatik Hauptfach ( POVersion: Provisorium )   3  -  
Diplom  Informatik Hauptfach ( POVersion: 2003 )   3  -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Petrinetze werden zur Modellierung verteilter Systeme verwendet. Zustandsänderungen in einem Petrinetz-Modell werden verstanden als Erzeugen und Vernichten von Ressourcen (statt des sonst üblichen Lesens und Schreibens von Variablen). Dadurch ergeben sich interessante algorithmische Analysemöglichkeiten, die in diesem Seminar vorgestellt werden.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2018. Aktuelles Semester: SoSe 2024.
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin