Nielsen, Mogens, and P. S. Thiagarajan. 1984. “Degrees of Non-Determinism and Concurrency: A Petri Net View”. DAIMI Report Series 13 (180). https://doi.org/10.7146/dpb.v13i180.7455.