Marco Tilgner. An approach to formalize structural decomposition and aggregation for stochastic reward net models. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 252-260, IEEE, 1995. [doi]
Abstract is missing.