Bruno Gaujal Stefan Haar Jean Mairesse Blocking a transition in a Free Choice net and what it tells about its throughput http://arxiv.org/abs/0707.4372 2007 CoRR abs/0707.4372 db/journals/corr/corr0707.html#abs-0707-4372 informal publication