Simulation of marked graphs on SIMD architectures using efficient memory management | IEEE Conference Publication | IEEE Xplore