TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets

( 22. May – 26. May, 1995 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9521

Organisatoren
  • C. Lindemann
  • G. Ciardo
  • H. Beilner
  • K. Trivedi



Summary

While measurement is a valuable option for assessing an existing system or a prototype, it is not a feasible option during the system design and implementation phases. Model-based evaluation has proven to be an attractive alternative in these cases. A model is an abstraction of a system that includes sufficient detail to facilitate an understanding of system behavior. Several modeling paradigms and various techniques for model evaluation are currently used in practice. The appropriate type of model depends upon the complexity of the system, the questions to be studied, the accuracy required, and the resources available for the study. Queueing network and simulation languages paradigms, in conjunction with corresponding analytic, numerical and simulative evaluation techniques have been employed for analyzing the performance of systems for more than 20 years. Due to recent developments in model generation and solution techniques and automated tools, large and realistic models can be developed and studied.

Recently, the use of stochastic Petri nets of various types has also been recognized as a useful modeling approach. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes. Research work in stochastic Petri nets (SPNs) was begun about one decade ago by researchers from France, Italy, and the US. The first formal technical meeting constituted the first International Workshop on Petri Nets and Performance Models held in Torino, Italy in 1985. SPNs provide a unified modeling tool for both qualitative and quantitative analysis: In addition to available options for quantitatively evaluating corresponding Markov chains with appropriate numerical techniques, qualitative model properties can be studied employing a variety of well-established techniques for ordinary (untimed) Petri nets. Due to the availability of user-friendly software packages with graphical interfaces the development, modification, and quantitative evaluation of these SPNs is easier and less error-prone than, e.g., using a simulation language. These features constitute considerable advantages of SPNs over simulation languages and queueing networks.

In this seminar we concentrate on stochastic Petri nets, on the analysis of their underlying stochastic processes, and on their application to performance and dependability evaluation of computer systems, communication networks, and production systems. Particular topics to be discussed during the seminar constitute efficient solution methods for the stochastic process underlying SPNs with deterministic and stochastic timing as well as hierarchical specification and solution techniques for SPNs. The aim of this seminar is bringing together the leading international researchers in this field with researchers from German academia and industry. The seminar is held in conjunction with the program committee meeting for the 6th International Workshop on Petri Nets and Performance Models.

Copyright

Teilnehmer
  • C. Lindemann
  • G. Ciardo
  • H. Beilner
  • K. Trivedi