A Stochastic Automata Model and its Algebraic Approach.

PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA

Enschede, los Países Bajos

Workshop; 5th International Workshop on Process Algebras and Performance Modeling, PAPM'97; 1997

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