1. S. C. Allmaier, M. Kowarshcik, G. Horton, June 1997, State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor, Proceedings of the 7th Int. Workshop on Petri-Net and Performance Models, Saint Malo, France, 112, 121, IEEE Comput. Soc. Los Alamitos, CA
2. Scans as primitive parallel operations;Blelloch;IEEE Trans. Comput.,1989
3. G. Ciardo, J. Gluckman, D. Nicol, Distributed state-space generation of discrete-state stochastic models, INFORMS J. Comput.
4. A decomposition approach for stochastic reward net models;Ciardo;Perform. Eval.,1993
5. G. Ciardo, K. Trivedi, J. Muppala, December 1989, SPNP: Stochastic Petri net package, Proceedings of the 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, 142, 151, IEEE Press, New York