TY - RPRT TI - Blocking a transition in a Free Choice net and what it tells about its throughput AU - Bruno Gaujal AU - Stefan Haar AU - Jean Mairesse PY - 2007 DO - 10.1016/s0022-0000(03)00039-4 UR - https://arxiv.org/abs/0707.4372 ID - 0707.4372 ER -