Abstract :
The following topics are dealt with: phase type distribution; Markov arrival process; hardware model; software model; quasy birth-death prrocess; stochastic Petri nets; probabilistic model checking; performance analysis tools; and network models.
Keywords :
Markov processes; Petri nets; probability; software performance evaluation; Markov arrival process; hardware model; network models; performance analysis tools; phase type distribution; probabilistic model checking; quasy birth-death prrocess; software model; stochastic Petri nets;
Conference_Titel :
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location :
Budapest
Print_ISBN :
978-0-7695-3808-2
DOI :
10.1109/QEST.2009.1
