Removing Timed Delays in Stochastic Automata


We present a method to remove timed delays (transitions corresponding to timed internal actions) from a subset of stochastic automata. After removing the internal actions, the steady state probability of a subset of the states of the automata is preserved. The stochastic automata considered in this paper have the property of being Markov regenerative… (More)

2 Figures and Tables


  • Presentations referencing similar topics