Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel. TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 210-211, IEEE, 1995. [doi]