Verteilte Bewertung von stochastischen Petri-Netzen

• Applicant: Professor Dr. Boudewijn R. Haverkort
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants