1. S. Allmaier, M. Kowarschik, and G. Horton. State space construction and steadystate solution of GSPNs on a shared-memory multiprocessor. In Proc. IEEE Int. Workshop Petri Nets and Performance Models (PNPM '97), St. Malo, France, 1997. IEEE Comp. Soc. Press. To appear.
2. G. Balbo. On the success of stochastic Petri nets. In Proc. IEEE Int. Workshop on Petri Nets and Performance Models (PNPM '95), pages 2–9, Durham, NC, 1995. IEEE Comp. Soc. Press.
3. R. Bayer and M. Schkolnick. Concurrency of operations on B-trees. Acta Informatica, 9:1–21, 1977.
4. G. Ciardo, J. Gluckman, and D. Nicol. Distributed state-space generation of discrete-state stochastic models. Technical Report 198233, ICASE, NASA Langley Research Center, Hampton, VA, 1995.
5. D. Comer. The ubiquitous B-tree. Computing Surveys, 11(2):121–137, 1979.