https://www.dagstuhl.de/9521

22. – 26. Mai 1995, Dagstuhl-Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets

Organisator

H. Beilner, G. Ciardo, C. Lindemann, K. Trivedi

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl-Seminar-Report 115

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.

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.