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