1. Cumani A (1985) Esp—A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In: Proceedings international workshop timed Petri nets, Torino (Italy): IEEE Computer Society Press no. 674, pp 144–151
2. Chiola G (1992) GreatSPN 1.5 software architecture. In: Balbo G, Serazzi G (eds) Computer performance evaluation. Elsevier Science Publishers, pp 121–136
3. Ciardo G, Muppala J, Trivedi K (1998) SPNP: stochastic Petri net package. In: Proceedings international workshop on petri nets and performance models—PNPM89. IEEE Computer Society, pp 142–151
4. Lindemann C (1995) DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Perform Eval 22:3–21
5. German R, Kelling C, Zimmermann A, Hommel G (1994) TimeNET—a toolkit for evaluating non-markovian stochastic Petri nets. Report No. 19 - Technische Universität Berlin