DFG Forschergruppe

Petrinetz-Technologie (PNT)

gefördert durch die Deutsche Forschungsgemeinschaft (DFG)
Der vollständige Name:

Konzeption, theoretische Fundierung und Validierung
einer anwendungsbezogenen Petrinetz-Technologie
Zusammenfassung

In der Hardware- und Softwareindustrie wächst das Interesse an Entwurfsmethoden, die eine zuverlässige formale Grundlage besitzen. Nur solche Methoden können die Korrektheit komplexer Systeme und ihre Anpassbarkeit an veränderte Anforderungen gewährleisten.

Eine Basis für eine solche Methode sind Petrinetze. In vielen Varianten sind Petrinetze in den letzten Jahren in Projekten industrieller Größe erfolgreich eingesetzt worden. Ihre Akzeptanz in der Praxis stiege erheblich, wenn einheitliche Vorgehensweisen gefunden würden und die theoretische Forschung über Petrinetze mehr praktische Anforderungen berücksichtigte.

Die Forschergruppe bündelt Erfahrungen aus typischen Projekten verschiedener Anwendungsbereiche, konstruiert formale, systematische Grundlagen dafür und verallgemeinert sie zu praktisch handhabbaren Techniken.

Die Ergebnisse der Forschergruppe systematisieren, vereinfachen und erweitern die Verwendbarkeit von Petrinetzen in der Softwareindustrie und unterstützen so den Transfer bekannter und neu zu entwickelnder theoretischer Ergebnisse in die Praxis.


Das Projekt begann im April 1996. Die Zeitdauer der ersten Phase beträgt drei Jahre.
PNT ist eine Kooperation zwischen drei Arbeitsgruppen:

Falls Sie Kontakt zur Forschergruppe aufnehmen möchten, schreiben Sie eine email an PNT-leitung@informatik.hu-berlin.de

2nd Colloquium on Petri Net Technologies for Modelling Communication Based Systems
Berlin, 14. und 15. September 2001

1st Colloquium on Petri Net Technologies for Modelling Communication Based Systems
Berlin, 21. und 22. Oktober 1999

Offene Stellen

This page in English

Letzte Änderung: 22. Dezember 2000