M. Nielsen and P. S. Thiagarajan, “Degrees of Non-determinism and Concurrency: A Petri Net View”, DPB, vol. 13, no. 180, Oct. 1984.