Petri Net Technology (PNT)
sponsored by the Deutsche Forschungsgemeinschaft (DFG)
Conception, theoretical foundation and validation
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.
To contact the research group Petri Net Technology, please send an email to PNTfirstname.lastname@example.org
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
Diese Seite auf deutsch