Verteilte Bewertung von stochastischen Petri-Netzen

• Antragsteller: Professor Dr. Boudewijn R. Haverkort
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5180426

In diesem Projekt geht es um die Bewertung von praxis-relevanten stochastischen Petri Netzen mit großen Zustandsräumen. Es sollen Verfahren entwickelt werden, die die verteilte Herleitung von Markovketten aus SPN-Spezifikationen sowie deren verteilte Lösung erlauben. Beide Verfahren sollen aufeinander abgestimmt werden und für den einsatz auf Workstation-clustern optimiert werden.

• DFG-Verfahren: Sachbeihilfen