1. SPNP: Stochastic Petri Net Package, Version 5.0, User Manual. Available at http://www.ee.duke.edu/chirel/PROJECT/paper/spnpman5.ps .
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
3. G. Ciardo, J.K. Muppala, and K.S. Trivedi. SPNP: Stochastic Petri net Package. In Proc. Third International Workshop on Petri Nets and Performance Models, PNPM’89, pages 142–151, 1989.
4. G. Ciardo, D.M. Nicol, and K.S. Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri-Nets. IEEE Transactions on Software Engineering, 25(2):207–217, 1999.
5. Computer Science Department. College of Willian and Mary. On the Simulation of Stochastic Petri Nets.