TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9521

Performance and Dependability Modeling with Stochastic Petri Nets

( May 22 – May 26, 1995 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9521

Organizers
  • 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

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