Removing Timed Delays in Stochastic Automata
Fida K. Dankar, Gregor Bocmann · 2006
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 processes