Peter Buchholz. Equivalence and Aggregation of GSPNs with Labeled Transitions. In Reinhard German, Boudewijn R. Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. pages 187-196, IEEE Computer Society, 2001. [doi]
Abstract is missing.