Manish Malhotra, Kishor S. Trivedi. A methodology for formal expression of hierarchy in model solution. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993. pages 258-267, IEEE, 1993. [doi]
Abstract is missing.