In: LNCS 2165: Process Algebra and Probabilistic Methods - Performance Modeling and Verification, pages 120-pp. Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings / L. de Alfaro, S. Gilmore (Eds.) --- Springer Verlag, 2001.
Abstract: In this paper we present a representation of the Markov process underlying a PEPA model in terms of a Kronecker product of terms. Whilst this representation is similar to previous representations of Stochastic Automata Networks and Stochastic Petri Nets, it has novel features, arising from the definition of the PEPA models. In particular, capturing the correct timing behaviour of cooperating PEPA activities relies on functional dependencies.
Back to the Petri Nets Bibliography