[Research Groups | Research | Teaching | General Information | Home | Search | deutsch]

Research Groups

Research

Teaching

General Information

Home

Suche

School of Computer Science

 

Courses in Summer Semester

Continuous Simulation

Contents: Modeling in mechanics, electronics, kinetics of reaction, business, environment up to the world model World3/91.
Exemplary simulation systems with different approaches: equation oriented (ACSL), graphic block oriented (SIMULINK), graphic System Dynamics (Stella) and electrical circuits (PSpice).
Special topics are integration methods, time- and state events, iteration, optimization and transfer functions in applications.
Language of Instruction: German
Lecturer: Rüdiger Hohmann
Time: Lectures: 2 hours per week
Tutorial: 2 hours per week
Target Audience: for IF, CV in stage II studies
Assign to: for IF optional compulsory, applied informatics,
for CV optional compulsory, informatics
Prerequisite: Basic Knowledge in Analysis
Examination: Oral Examination or Proof of Academic Achievement
Bibliographical References: Lecture Notes
F. Breitenecker, et al.: Simulieren mit ACSL, Vieweg-Verlag, 1993.
F.E. Cellier: Continuous System Modeling, Springer-Verlag, 1991.
N. Roberts, et al.: Computer Simulation, Addison Weslay, 1983.
E.E.E. Hoefer, H. Nielinger: SPICE, Springer-Verlag, 1985.

 

Petri Nets

Contents: Condition/event nets (CE-nets): conflict, contact, complement.
Place/transition nets (PT-nets): firing rule, basic situations, dynamic properties, algebraic state equation.
Reachability analysis: reachability- and coverability graph, boundedness, liveness.
Invariant analysis: place and transition invariants, nonreachability, boundedness, proof of system properties with place invariants.
Nonstandard nets, coloured Petri nets (CP-nets).
PENECA and CHROMOS are used as graphic net editors/simulators, tool for the net analysis is the Integrated Net Analyzer INA.
Language: German
Lecturer: Rüdiger Hohmann
Time: Lecture: 2 hours per week
Exercises: 2 hours per week
Target Audience: for IF, WIF, CV in stage II studies
Assign to: for IF optional compulsory, practical informatics,
for CV, WIF optional compulsory, informatics
Prerequisite: Basic Knowledge in Algebra
Examination: Oral Examination or Proof of Academic Achievement
ECTS-Credits: 4 (L: 21,5 E: 11)
Bibliographical References: Baumgarten, B.: "Petri-Netze - Grundlagen und Anwendungen"; BI Wissenschaftsverlag Mannheim/Wien/Zürich, 1990
Reisig, W.: "Systementwurf mit Netzen"; Springer-Verlag Berlin, 1985
Reisig, W.: "Petrinetze - Eine Einführung"; Springer-Verlag Berlin, 1986
Starke,P. H.: "Analyse von Petri-Netz-Modellen"; Leitfäden und Monographien der Informatik, B. G. Teubner-Verlag, 1990
Abel, D.: "Petri-Netze für Ingenieure, Modellbildung und Analyse diskret gesteuerter Systeme"; Springer-Verlag, 1990
Jensen, K.: "Coloured Petri Nets, Basic Concepts"; Vol. 1, Springer-Verlag 1992
Kaiser, H. u.a.: "Algebra für Informatiker"; Springer-Verlag Wien, New York, 1985

 



Webmaster  -