https://www.dagstuhl.de/9521

May 22 – 26 , 1995, Dagstuhl Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets

Organizer

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

For support, please contact

Dagstuhl Service Team

Documents

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.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.