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

Analyse von Petrinetzmodellen - Detailseite

Grunddaten
Veranstaltungsart Seminar Veranstaltungsnummer 3313014
Semester SoSe 2025 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfristen - Eine Belegung ist online erforderlich Zentrale Abmeldefrist    01.02.2025 - 30.09.2025    aktuell
Zentrale Nachfrist    14.04.2025 - 16.04.2025   
Zentrale Frist    01.02.2025 - 09.04.2025   
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Di. 15:00 bis 17:00 wöch 3.113 (Seminarraum)
Stockwerk: 1. OG


alttext alttext
RudCh25 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     16
Gruppe 1:


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Weidlich, Matthias , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )   SPO 2022: 5 LP / SPO 2015: 3  -  
Programmstudium-o.Abschl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Ab.Prom.  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
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

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2025 gefunden:

Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin