General information

Course name	Lecture: Formale Sprachen/Petrinetze
Course number	INF.06234.01
Semester	WS 2017/18
Current number of participants	6
expected number of participants	50
Home institute	Institut für Informatik
participating institutes	Theoretische Informatik
Courses type	Lecture in category Offizielle Lehrveranstaltungen
First date	Wednesday, 11.10.2017 14:15 - 15:45, Room: (HS 3.31)
Type/Form	3 Vorlesungsstunden + 1 Übungsstunde
Pre-requisites	Grundkenntnisse über Formale Sprachen z.B. aus der Vorlesung Automaten und Berechenbarkeit
Studiengänge (für)	Bachelor Informatik/Bioinformatik
SWS	3V + 1Ü
ECTS points	5

Lecturers

apl. Prof. Dr. Klaus Reinhardt

Rooms and times

(HS 3.31): Wednesday: 14:15 - 15:45, weekly (15x)
(HS 3.04): Friday: 12:15 - 13:45, weekly (15x)

Fields of study

Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik

Module assignments

Bioinformatik Bioinformatik180, Version of accreditation (WS 2018/19 - WS 2022/23) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Bioinformatik Bioinformatik180, Version of accreditation (WS 2016/17 - SS 2018) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Informatik Informatik180, Version of accreditation (WS 2012/13 - SS 2016) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Informatik Informatik180, Version of accreditation (WS 2016/17 - SS 2018) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Informatik Informatik180, Version of accreditation (WS 2018/19 - WS 2022/23) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Bioinformatik Bioinformatik180, Version of accreditation (WS 2012/13 - SS 2016) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 2: Exercises (Übung)
Bioinformatik Bioinformatik180, Version of accreditation (WS 2018/19 - WS 2022/23) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)
Bioinformatik Bioinformatik180, Version of accreditation (WS 2016/17 - SS 2018) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)
Informatik Informatik180, Version of accreditation (WS 2012/13 - SS 2016) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)
Informatik Informatik180, Version of accreditation (WS 2016/17 - SS 2018) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)
Informatik Informatik180, Version of accreditation (WS 2018/19 - WS 2022/23) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)
Bioinformatik Bioinformatik180, Version of accreditation (WS 2012/13 - SS 2016) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, valid from WS 2016/17 > Course 1: Lecture (Vorlesung)

Comment/Description

Schaltverhalten von Petrinetzen, Invarianten, Lebendigkeit, Beschränktheit, Modellierung von Prozessen in verschiedenen Bereichen, Zusammenhang zu Formalen Sprachen und linearer Algebra, Entscheidungsalgorithmen.