State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor | IEEE Conference Publication | IEEE Xplore