A data structure for the efficient Kronecker solution of GSPNs | IEEE Conference Publication | IEEE Xplore