Blocking a transition in a free choice net and what it tells about its throughput.
scientific article; zbMATH DE number 1967145
scientific article