A Stochastic Automata Model and its Algebraic Approach
Title | A Stochastic Automata Model and its Algebraic Approach |
Publication Type | Conference Paper |
Year of Publication | 1997 |
Authors | D'Argenio, PR, Katoen, J-P, Brinksma, E |
Editor | Brinksma, E, Nymeyer, A |
Conference Name | Proc. of 5th International Workshop on Process Algebras and Performance Modeling, PAPM'97, Enschede, The Netherlands |
Publisher | University of Twente |
Abstract | We discuss a new model for the analysis and simulation of stochastic systems which we call stochastic automata. Basically, they are a combination of the timed automata model and generalised semi-markovian processes (GSMPs for short). We discuss their behaviour and we compare them to the GSMPs model. In addition, we define a stochastic process algebra that supports general distribution (both continuous and discrete). Its semantics is given in terms of stochastic automata. We show that stochastic automata can be expressed in terms of the process algebra. We discuss a concrete example and we finish by discussing our current work on this topic and possible future directions. |
PDF (Full text):