Documents
The Oris tool ¶
Oris is a tool for qualitative veri cation and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements ... See details»
- Authors: Enrico Vicario, Giacomo Bucci, Laura Carnevali, Lorenzo Ridi
- Uploaded on: July 28, 2010
- Category: Tools
- Labels: Probability and Statistics, Performance Modeling
- Uploaded by: Laura Carnevali
- Downloads pdf (754.0 KB)
Refresh on some basic probability distributions ¶
Some basic probability distributions useful in performance evaluation studies are reviewed (uniform, exponential, Pareto, hypoexponential, hyperexponential). See details»
- Authors: G. Serazzi
- Uploaded on: March 12, 2010 (Updated on March 18, 2010)
- Category: Teaching Material
- Labels: JMT, Queueing Networks, Probability and Statistics, Reliability
- Uploaded by: Giuseppe Serazzi
- Downloads pdf (416.3 KB)