André Thayse: Encoding of parallel program schemata by vector addition systems. Int. J. Parallel Program. 8(3): 209-218 (1979)