idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
23.07.2003 10:10

Informatik: Zweiwöchiger Kurs zu Petri-Netzen an KU

Dr. Thomas Pleil Presse- und Öffentlichkeitsarbeit
Katholische Universität Eichstätt-Ingolstadt

    Vom 15. bis zum 26. September 2003 organisiert der Lehrstuhl für Angewandte Informatik der Katholischen Universität Eichstätt-Ingolstadt (KU) unter Federführung von Prof. Dr. Jörg Desel den vierten internationalen "Advanced Course on Petri Nets". 24 international ausgewiesene Experten aus Europa, Asien und Australien vermitteln in den zwei Wochen jungen Wissenschaftlern, die ebenfalls aus der ganzen Welt anreisen, in kompakter Form den neuesten Stand in der Theorie und Anwendung von Modellen nebenläufiger dynamischer Systeme, mit einem Schwerpunkt auf Petrinetze.

    Beispiele für derartige Systeme finden sich fast überall in der Informatik und in angrenzenden Gebieten: Beispiele sind Workflow-Systeme, asynchrone Schaltkreise, Automatisierungssysteme oder Rechnernetze. hre Entwicklung ist heute nur mit Hilfe geeigneten Modellierungsverfahren und unterstützender Entwurfs- und Analysesoftware denkbar.

    Petrinetze, benannt nach Carl-Adam Petri, werden seit 40 Jahren für derartige Fragestellungen eingesetzt und weiterentwickelt, aber auch andere Konzepte der so genannten Concurrency-Theory werden bei dem Advanced Course intensiv diskutiert. Der Advanced Course ist in 26 Vorlesungsblöcke aufgeteilt, die sich den Kategorien Basis-Tutorials, fortgeschrittene ausgewählte Kapitel, Anwendungsbereiche und Spezialvorlesungen besonders herausragender Wissenschaftler zuordnen.

    Frühere gleichnamige Veranstaltungen fanden 1979 in Hamburg, 1986 in Bad Honnef und 1996 in Schloss Dagstuhl statt. Die bisherigen drei Veranstaltungen sind alle als große wissenschaftliche Erfolge zu bezeichnen. Die Idee der Advanced-Course-Reihe besteht darin, alle sieben bis zehn Jahre das Forschungsgebiet der formalen Beschreibungen nebenläufiger Systeme von hochrangigen Experten innerhalb und außerhalb der Petrinetz-Community durch State-of-the-Art-Berichte, Verbindungen zwischen den relevanten Theorien, Visionen und insbesondere aktuellen Anwendungen weiter zu entwickeln und zu dokumentieren. Das Ergebnis waren jeweils Tagungsbände (Springer Lecture Notes in Computer Science Nr. 84 (1979), Nr. 254/255 (1986), Nr. 1491/1492 (1994)), die über Jahre hinweg die wichtigste Standardliteratur im Bereich Petrinetze und verwandte Gebiete darstellten und darstellen. Die Beiträge des diesjährigen Advanced Course werden in derselben Reihe veröffentlicht.

    Aufgrund vielfältiger Unterstützung ist es möglich, das gesamte Kursprogramm für nur 390 Euro anzubieten. Die Tagungsleitung vermittelt auch günstige Unterkunft in Eichstätt. Zusätzlich können Teilnehmer aus Osteuropa durch ein spezielles Förderprogramm der DFG unterstützt werden.

    Weitere Information und Registrierung unter www.acpn.de.


    Weitere Informationen:

    http://www.acpn.de


    Bilder

    Merkmale dieser Pressemitteilung:
    Informationstechnik
    überregional
    Buntes aus der Wissenschaft, Wissenschaftliche Tagungen
    Deutsch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).

    Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).