New methods of specifying and modeling stochastic concurrent systems

Abstract

For the quantitative analysis of stochastic concurrent systems, specifying methods for the level of symbolic semantics and the level of concrete semantics with general distributions are introduced. First of all, Probabilistic Stochastic Automata is brought forward to achieve the symbolic semantics specification. Based on that, two concrete semantics specification methods are developed-Extended Colored Stochastic Petri Nets and Generalized Stochastic Extended Bundle Event Structures. Then after comparing modeling and performance evaluation characteristics between them, a new idea of analyzing stochastic concurrent systems combining the two methods on the basis of system logic structures and event sequences is formed. © 2012 Springer Science+Business Media B.V.