Susann C. Allmaier, Markus Kowarschik, Graham Horton. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor. In Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997. pages 112-121, IEEE, 1997. [doi]
Abstract is missing.