DFG Forschergruppe

Petri Net Technology (PNT)

sponsored by the Deutsche Forschungsgemeinschaft (DFG)
Complete title:

Conception, theoretical foundation and validation
of an applied Petri Net Technology
Abstract

System designers show growing interest in reliable formal design methods. Only these methods guarantee correctness of complex systems and their adaptability to changing requirements.

Petri nets are a promising candidate for such a method. For many years they have been used successfully in projects of industrial size. To gain even more acceptance for Petri nets in practice this research group collects experiences from typical projects of various application areas, develops formal foundations and generalizes them to manageable techniques for industrial size applications. This supports transfer of known and forthcoming theoretical results into practice.

A variety of different aspects has to be considered to achieve manageable design techniques. They include industrial software management, all aspects of system design und programming and formal models of theoretical computer science. The research group filters out the most suited combination of techniques and collects them in a construction kit.


The project started in April 1996. An overview of the results of the first phase of the project can be found here. The second phase granted by the DFG will last until April 2001.
PNT is a cooperation between three research groups:

To contact the research group Petri Net Technology, please send an email to PNT-leitung@informatik.hu-berlin.de

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

1st Colloquium on Petri Net Technologies for Modelling Communication Based Systems
Berlin, October 21st-22nd, 1999

Vacancies

Diese Seite auf deutsch

Last Modified: December 22nd, 2000