Nielsen, M.; Thiagarajan, P. S. Degrees of Non-Determinism and Concurrency: A Petri Net View. DPB 1984, 13.