Exploiting stochastic process algebra achievements for generalized stochastic Petri nets

Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach. Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. In Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997. pages 183-192, IEEE, 1997. [doi]

Abstract

Abstract is missing.