Nielsen, M., and P. S. Thiagarajan. “Degrees of Non-Determinism and Concurrency: A Petri Net View”. DAIMI Report Series, vol. 13, no. 180, Oct. 1984, doi:10.7146/dpb.v13i180.7455.