@misc{indiciae161d3ca2874f,
  title = {Blocking a transition in a Free Choice net and what it tells about its throughput},
  author = {Bruno Gaujal and Stefan Haar and Jean Mairesse},
  year = {2007},
  doi = {10.1016/s0022-0000(03)00039-4},
  url = {https://arxiv.org/abs/0707.4372},
  note = {Source identifier: 0707.4372}
}