Statecharts and Markov Chains for Performance Evaluation: Its Applications and Implications.
Carlos Renato Lisboa FrancêsMarcos José SantanaRegina Helena Carlucci SantanaPublished in: PDPTA (1999)
Keyphrases
- markov chain
- finite state
- steady state
- transition probabilities
- monte carlo
- markov model
- state transition
- random walk
- stationary distribution
- markov process
- transition matrix
- monte carlo simulation
- monte carlo method
- markov processes
- state space
- probabilistic automata
- stochastic process
- sample path
- model checking
- search algorithm
- algo rithm
- assemble to order systems