How to transform a Stochastic State Automata to a CTHMC
Knowledge used in this file:
- DES - Definition of ‘Stochastic Timed Automata with Poisson Clock Structure’
- DES - Model of a Stochastic Timed Automata with Poisson Clock Structure
- DES - Definition of ‘Continuous Time Homogeneous Markov Chain (CTHMC)’
- DES - Model of a CTHMC
Observation:
Observation:
